The Nest
Explore
Sign in
Anderssorby
Pijul.lean
0
A lean4 implementation attempt of Pijul
Code
Changes
Tags
Discussions
Search
Start a new discussion