Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
alectryon interactive-theorem-proving lean lean4 visualization
Last synced: 24 Mar 2024
![](https://github.com/leanprover.png)