proving

There are 0 repository under proving topic.

• 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.

  automatedtheoremprovingmathematicslogicrust
  Language:Rust 7

• casm-lang / libtptp

  Thousands of Problems for Theorem Provers Library

  libtptpcpp-librarycpp11automatedtheoremproving
  Language:C++ 1

• righ1113 / 4CT_Ruby

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

  four-color-theoremrubyobject-oriented-programmingproving
  Language:Ruby 1

• ionutfinta / Event-B-Rodin-sumFunction

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

  event-brodinproving
  0

• righ1113 / 4CT_Haskell

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

  4cthaskellprovingfour-color-theorem
  Language:Haskell 0

• malstan / Interactive-Proof-System

  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.

  gentzenlogicproving
  Language:JavaScript

• ramizouari / AutomaticProver

  Automatic Proving System using Predicate Logic

  logicproving
  Language:C++

• righ1113 / 4CT_FSharp

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

  4ctfsharpprovingfour-color-theorem
  Language:F#