SkiFire13 / typst-prooftreeLinks
Prooftrees for Typst - Inspired by Latex's bussproofs
☆20Updated last year
Alternatives and similar repositories for typst-prooftree
Users that are interested in typst-prooftree are comparing it to the libraries listed below
Sorting:
- ☆22Updated last year
- Typst Package to typeset inference rule☆41Updated 2 weeks ago
- Learn Lean 4 with PLFA proofs.☆91Updated 6 months ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆66Updated 3 months ago
- an implementation of Observational Type Theory (OTT) and more☆29Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟☆19Updated 3 years ago
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- embedding MLIR in LEAN☆48Updated last year
- Programming Language Foundations in Lean