summaryrefslogtreecommitdiff
path: root/README.md (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-02Start fixing the testsSon Ho1-2/+2
2024-01-31Make a minor modification to the READMESon Ho1-2/+2
2024-01-29Add instructions on using files generated by the Lean backendZyad Hassan1-1/+11
2023-12-18Update the READMESon Ho1-1/+2
2023-10-05Add a mention to the Zulip in the READMESon Ho1-0/+2
2023-09-18Update the READMESon Ho1-0/+2
2023-08-09Update the READMESon Ho1-20/+21
2023-03-30Update README about Coq backend supportDeirdre Connolly1-4/+3
2023-02-03Make minor modifications and generate code for loopsSon Ho1-1/+2
2023-02-03Start implementing support for loopsSon Ho1-1/+1
2022-11-11Add a `bin` folderSon Ho1-1/+1
2022-11-11Make the Nix build workSon Ho1-0/+6
2022-11-07Add a note in the READMESon Ho1-0/+6
2022-10-28Update the READMESon Ho1-1/+12
2022-10-27Update the README and a commentSon Ho1-3/+3
2022-10-04Update the README (#3)Son HO1-2/+8
2022-06-14Update the READMESon Ho1-3/+2
2022-06-14Update the READMESon Ho1-9/+7
2022-05-31Update the installation instructionsSon Ho1-1/+1
2022-04-22Update the READMESon Ho1-1/+19
2022-04-22Update the READMESon Ho1-1/+2
2022-04-22Update the READMESon Ho1-2/+2
2022-04-22Update the READMESon Ho1-15/+18
2022-04-22Update the READMESon Ho1-2/+64