CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity
076e2dce22
catala/doc/formalization
History
Denis Merigoux 076e2dce22 Finished writing stepper
2020-11-16 22:51:07 +01:00
..
.gitignore Added beginning of F* formalization and fixed paper 2020-11-16 19:34:10 +01:00
Catala.DefaultCalculus.fst Finished writing stepper 2020-11-16 22:51:07 +01:00
formalization.tex Added beginning of F* formalization and fixed paper 2020-11-16 19:34:10 +01:00
Makefile Added beginning of F* formalization and fixed paper 2020-11-16 19:34:10 +01:00