The Nest
Explore
Sign in
Anderssorby
Pijul.lean
src
0
A lean4 implementation attempt of Pijul
Code
Changes
Tags
Discussions
main
HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp
Update help
on November 25, 2021
Pijul
Update help
on November 25, 2021
Pijul.lean
Add a basic CLI
on November 2, 2021