The Nest
Explore
Sign in
Anderssorby
Pijul.lean
0
A lean4 implementation attempt of Pijul
Code
Changes
Tags
Discussions
main
HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp
Update help
on November 25, 2021
src
Add a basic CLI
on November 2, 2021
README.md
Add a basic CLI
on November 2, 2021
flake.lock
Add a basic CLI
on November 2, 2021
flake.nix
Fix flake for lean lsp
on November 25, 2021
README.md
Pijul.lean
A non-serious attempt to implement Pijul in Lean4.