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.

add fcu test to index.html

+8
+8
index.html
··· 378 378 379 379 |- ? 380 380 </hol-proof> 381 + <hol-proof id="index.html/fcu-test" deps="index.html/myconfig"> 382 + x. 383 + [P. (P (fst x))] 384 + ---------------- 385 + (r (fst (fst x))) 386 + 387 + x. asm |- by (asm ((x. x. r (fst x)) x)) {} 388 + </hol-proof> 381 389 <h1>String</h1> 382 390 <h2>Basic</h2> 383 391 <hol-string id="index.html/mexp" deps="index.html/myconfig">