A lean4 implementation attempt of Pijul

Fix flake for lean lsp

Created by  HZVQFtjbhnRsZNcTqNkbgkDT47NMwiGoHjvCqCkuekqp  on November 25, 2021
JZNIUTSVIJ66FRYZI33YYUAHAKUVD4DEXNV7NLSA4VG2QHZFQ62QC
In channels
main
Change contents