Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for proof checking
proof-checking
x
4 search results found
Philomath
⭐
12
MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Maxixe
⭐
10
MIRROR of https://codeberg.org/catseye/Maxixe : A simple proof checker
Lcf Style Nd
⭐
5
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
Proof Assistant
⭐
5
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
Related Searches
Natural Deduction Proof Checking (4)
Propositional Logic Proof Checking (3)
Theorem Proving Proof Checking (3)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.