GitHub repository: lecopivo/SciLeanDemo
Primary language: Lean
Created: 2024-08-21T05:11:35Z
Description: Demo project for SciLean