Skip to content

[OpenTheory] hol-base-1.4

Latest
Latest
Compare
Choose a tag to compare
@binghe binghe released this 29 Apr 02:41
· 86 commits to k15_dev since this release
hol-base-1.4
73ed587 
Fix leaking assumptions in hol-base (IMP_DISJ_THM)
Assets 4
Loading
0 Join discussion