Alectryon

https://github.com/cpitclaudel/alectryon

A library and toolkit to process Rocq and Lean proof assistant snippets embedded in documents,...

Tokens:76,627
Snippets:910
Trust Score:9.4
License:MIT
Update:1 month ago
Tokens:
Raw