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
README -rw-r--r-- 1.0 KB
birkhoff.ml -rw-r--r-- 54.6 KB
canon.ml -rw-r--r-- 31.3 KB
fol.ml -rw-r--r-- 47.2 KB
fol_prop.ml -rw-r--r-- 14.5 KB
fole.ml -rw-r--r-- 51.6 KB
given.ml -rw-r--r-- 93.3 KB
givensem.ml -rw-r--r-- 45.0 KB
herbrand.ml -rw-r--r-- 8.0 KB
linear.ml -rw-r--r-- 35.5 KB
lpo.ml -rw-r--r-- 39.4 KB
make.ml -rw-r--r-- 3.2 KB
positive.ml -rw-r--r-- 65.6 KB
prenex.ml -rw-r--r-- 30.0 KB
prolog.ml -rw-r--r-- 38.2 KB
resolution.ml -rw-r--r-- 37.3 KB
skolem.ml -rw-r--r-- 56.0 KB
support.ml -rw-r--r-- 44.7 KB
trs.ml -rw-r--r-- 12.0 KB
unif.ml -rw-r--r-- 91.7 KB

README

back to top