Skip to content

[OpenTheory] hol-base-1.4

Latest
Latest

Choose a tag to compare

View all tags
@binghe binghe released this 29 Apr 02:41
· 95 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