The Nest
Explore
Sign in
Anderssorby
Pijul.lean
README.md
0
A lean4 implementation attempt of Pijul
Code
Changes
Tags
Discussions
main
#
Pijul.lean
A non-serious attempt to implement Pijul in Lean4.