The Nest
Explore
Sign in
Anderssorby
Pijul.lean
0
A lean4 implementation attempt of Pijul
Code
Changes
Tags
Discussions
main
There are no tags here at the moment.