less-adhoc

less-adhoc

The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma

Project ID: 99
Name
Last commit
Last update
.gitignore Loading commit data...
Make Loading commit data...
Makefile Loading commit data...
README Loading commit data...
_CoqProject Loading commit data...
auto.v Loading commit data...
cancel.v Loading commit data...
cancel2.v Loading commit data...
cancelCTC.v Loading commit data...
cancelD.v Loading commit data...
domains.v Loading commit data...
finmap.v Loading commit data...
heaps.v Loading commit data...
hprop.v Loading commit data...
indom.v Loading commit data...
indomCTC.v Loading commit data...
indom_alt.v Loading commit data...
llistR.v Loading commit data...
noalias.v Loading commit data...
noaliasBT.v Loading commit data...
noaliasCTC.v Loading commit data...
ordtype.v Loading commit data...
perms.v Loading commit data...
prefix.v Loading commit data...
prelude.v Loading commit data...
rels.v Loading commit data...
stlog.v Loading commit data...
stlogCTC.v Loading commit data...
stlogR.v Loading commit data...
stmod.v Loading commit data...
stsep.v Loading commit data...
terms.v Loading commit data...
xfind.v Loading commit data...
xfindCTC.v Loading commit data...