Making client-side ZK proving on mobile simple.

• Updated Feb 11, 2026
• Rust

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.

• Updated Sep 1, 2020
• Rust

Thousands of Problems for Theorem Provers Library

• Updated Mar 2, 2025
• C++

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

• Updated Dec 1, 2023
• Ruby

Automatic Proving System using Predicate Logic

• Updated Apr 22, 2021
• C++

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

• Updated Nov 23, 2023
• Haskell

automated design and discovery in any field that can be represented by logic

• Updated Jan 4, 2026

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

• Updated Apr 29, 2020

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

• Updated May 8, 2023
• F#

This application is used for interactive proving of logical formulas. It supports propositional, intuitionist and predicate logic. It proves using natural deduction or sequent calculus. The proof is displayed as Gentzen or Fitch notation.

• Updated Sep 14, 2024
• JavaScript