Logos Theorem Prover: Auto Tactic(logicaffeine.com)1 ポイント·投稿者 tristenharr·6 か月前·1 コメントlogicaffeine.comLogos Theorem Prover: Auto Tactichttps://logicaffeine.com/studio?file=examples/math/auto-tactic.logos1 コメントコメントを投稿[–]tristenharr·6 か月前返信Hey folks, some more fun things have come to Logos Lang, including an initial cut of the theorem prover using CoC.Please excuse the mobile formatting on the studio page, fixes coming to that soon, for best experience check it out on the web!
Please excuse the mobile formatting on the studio page, fixes coming to that soon, for best experience check it out on the web!