The Nest
Explore
0
A lean4 implementation attempt of Pijul
Update help
Created by  HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp  on November 25, 2021
ZJRHJSDJV32OME2475MCSKUZWZZ4O35VS5MJWU2RCSRC37QOVRLQC
Fix flake for lean lsp
Created by  HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp  on November 25, 2021
JZNIUTSVIJ66FRYZI33YYUAHAKUVD4DEXNV7NLSA4VG2QHZFQ62QC
Add a basic CLI
Created by  HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp  on November 2, 2021
DOVIOWRFFIG6HCDZMS5E6I3DPYGDYVHMF4YYK6FKFMAMC3E5ZA3AC