- ๐ Hi, Iโm @Bergschaf
- ๐ Iโm interested in Programming.
- ๐ฑ Iโm currently learning Python, Rust, Lean, Riscv and Untiy (C#).
bergschaf / leanblueprint Goto Github PK
View Code? Open in Web Editor NEWThis project forked from patrickmassot/leanblueprint
plasTeX plugin to build formalization blueprints.
License: Apache License 2.0