https://github.com/JacquesCarette/hol-light
History
Tip revision: b27a524086caf73530b7c2c5da1b237d3539f143 authored by Jacques Carette on 24 August 2020, 14:18:07 UTC
Merge pull request #35 from sjjs7/final-changes
Tip revision: b27a524
File Mode Size
arithprov.ml -rw-r--r-- 23.5 KB
definability.ml -rw-r--r-- 27.8 KB
derived.ml -rw-r--r-- 39.4 KB
fol.ml -rw-r--r-- 21.7 KB
godel.ml -rw-r--r-- 23.7 KB
make.ml -rw-r--r-- 1.2 KB
pa.ml -rw-r--r-- 3.8 KB
sigmacomplete.ml -rw-r--r-- 31.7 KB
tarski.ml -rw-r--r-- 14.4 KB

back to top