https://github.com/JacquesCarette/hol-light
Revision 84450bfbd50b043d9a427a9469e396db0081a0fe authored by Johanna on 13 August 2020, 00:23:58 UTC, committed by GitHub on 13 August 2020, 00:23:58 UTC
1 parent 31b59c7
Raw File
Tip revision: 84450bfbd50b043d9a427a9469e396db0081a0fe authored by Johanna on 13 August 2020, 00:23:58 UTC
Create nat_arithmetic.ml
Tip revision: 84450bf
.gitattributes
*.ml linguist-language=OCaml
*.hl linguist-language=OCaml
back to top