tag:blogger.com,1999:blog-9871512.post114415791404688127..comments2022-09-03T20:56:46.577-04:00Comments on Tumbolia: To dojtohttp://www.blogger.com/profile/03968844388108605008noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-9871512.post-1147734909473920192006-05-15T19:15:00.000-04:002006-05-15T19:15:00.000-04:00Isabelle (http://www.cl.cam.ac.uk/Research/HVG/Isa...Isabelle (http://www.cl.cam.ac.uk/Research/HVG/Isabelle/index.html)<BR/>would be another interesting candidate for the back end of such Wiki.<BR/><BR/>It allows to write proofs that are much closer to how a regular mathematical proof looks like (as compared to the Metamath language). <BR/>Also, it has a built-in theorem prover which allows to write proofs in larger steps, so it is not as tediousKasiahttps://www.blogger.com/profile/05305184222309581879noreply@blogger.com