top | item 46598195 Logos Theorem Prover: Auto Tactic 1 points| tristenharr | 1 month ago |logicaffeine.com 1 comment order hn newest tristenharr|1 month ago 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!
tristenharr|1 month ago 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!
tristenharr|1 month ago
Please excuse the mobile formatting on the studio page, fixes coming to that soon, for best experience check it out on the web!