liamoc.net / holbert-ng
the next generation of the in-browser educational proof assistant
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

fix merge issue

Liam O’Connor b378e1fc 675c7b28

+1 -1
+1 -1
index.html
··· 375 375 376 376 </hol-proof> 377 377 378 - <hol-proof id="index.html/prooftest2" deps="index.html/myconfig index.html/baz index.html/nat"> 378 + <hol-proof id="index.html/prooftest3" deps="index.html/myconfig index.html/baz index.html/nat"> 379 379 a. b. f. 380 380 (= a b) 381 381 -------