casm-lang/libtptp 📦

Thousands of Problems for Theorem Provers Library

Language: C++ - Size: 1.58 MB - Last synced at: 18 days ago - Pushed at: 2 months ago - Stars: 1 - Forks: 0

sourceduty/Prediction_Proof

🔮 Prove or disprove and make future predictions.

Size: 5.86 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

sourceduty/Myth_Proof

🧑‍🔬 Proving or disproving every known modern science myth.

Size: 70.3 KB - Last synced at: 9 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

righ1113/4CT_FSharp

四色定理を F# に移植したよ

Language: F# - Size: 599 KB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

righ1113/4CT_Haskell

四色定理を Haskell に移植したよ

Language: Haskell - Size: 3.86 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

palladians/herald-docs

Language: MDX - Size: 127 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

rljacobson/WAM

Let's write an automated theorem prover! A series of increasingly sophisticated automated theorem provers realized as Prolog-like language implementations using Warren's Abstract Machine.

Language: Rust - Size: 360 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 5 - Forks: 0

righ1113/4CT_Ruby

Ruby とオブジェクト指向による四色定理

Language: Ruby - Size: 7.33 MB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

ramizouari/AutomaticProver

Automatic Proving System using Predicate Logic

Language: C++ - Size: 72.3 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

ionutfinta/Event-B-Rodin-sumFunction

A function to sum your sets of integers in a flash !

Size: 132 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0