A Machine-to-Machine Interaction Interface for Lean 4
Updated 2024-12-11 20:53:40 -08:00
Collection of music scores in LilyPond
Updated 2024-12-08 16:59:55 -08:00
A reproducible python environment for machine learning
Updated 2024-08-27 22:32:11 -07:00
Example of calling Lean from Rust via the FFI
Updated 2024-04-12 16:09:37 -07:00
Visualisation of To The Stars battle diagrams and scenes
Updated 2023-09-12 17:05:43 -07:00