Topic: theorem-prover Goto Github
Some thing interesting about theorem-prover
Some thing interesting about theorem-prover
theorem-prover,A repository to store Z3-python scripts you can use as examples, reminders, whatever.
User: 0vercl0k
theorem-prover,ACL2 System and Books as Maintained by the Community
Organization: acl2
Home Page: http://www.cs.utexas.edu/users/moore/acl2
theorem-prover,Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
User: adyavanapalli
theorem-prover,Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
User: ai4reason
Home Page: http://www.cs.unm.edu/~mccune/prover9/
theorem-prover,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
theorem-prover,Propositional theorem prover using Wang's algorithm
User: benhuds
theorem-prover,Budge - a programming language and a theorem prover
User: bor0
theorem-prover,MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)
Organization: catseye
Home Page: https://catseye.tc/node/Philomath
theorem-prover,Python Symbolic Information Theoretic Inequality Prover
User: cheuktingli
theorem-prover,Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Organization: chymyst
theorem-prover,Cicada Language (PLCT little team)
Organization: cicada-lang
Home Page: https://cicada-lang.org
theorem-prover,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
theorem-prover,k theorem prover
User: dannypsnl
Home Page: https://pkgs.racket-lang.org/package/k
theorem-prover,Proof assistant for qRHL
User: dominique-unruh
Home Page: https://dominique-unruh.github.io/qrhl-tool/
theorem-prover,Resolution theorem proving for predicate logic in pure Python.
User: evhub
theorem-prover,Anders: Cubical Type Checker
User: forked-from-1kasper
theorem-prover,Castle Bravo: Experimental HoTT Implementation
User: forked-from-1kasper
theorem-prover,An automatic theorem prover for first order logic with equality
User: gilith
Home Page: http://www.gilith.com/metis/
theorem-prover,🧊 Модальний гомотопічний верифікатор математики
Organization: groupoid
Home Page: https://anders.groupoid.space
theorem-prover,Examples for TLAPS (TLA+ Proof System)
User: hengxin
theorem-prover,A modern proof language
Organization: higherorderco
Home Page: https://higherorderco.com
theorem-prover,GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
User: janicicpredrag
Home Page: http://www.matf.bg.ac.rs/~janicic/gclc/
theorem-prover,Tableau-based theorem prover for public announcement logic
User: jdevuyst
theorem-prover,Links to tools by subject
User: johnyf
theorem-prover,a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
User: joom
theorem-prover,A classical propositional theorem prover in Haskell, using Wang's Algorithm.
User: joom
theorem-prover,Tableau-based Theorem Prover for Natural Logic and Language
User: kovvalsky
theorem-prover,An implementation of Minilog (my other) toy language with a complete search strategy making it a simple, naive, toy theorem prover with Prolog syntax.
User: lambduli
theorem-prover,Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Organization: ls-lab
Home Page: http://symbolaris.com/info/KeYmaera.html
theorem-prover,KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
Organization: ls-lab
Home Page: http://keymaeraX.org/
theorem-prover,CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
User: lukaszcz
theorem-prover,My sandbox for experimenting with solver algorithms.
User: msakai
theorem-prover,A Declarative Theorem Prover for First-Order Classical Logic
User: namin
theorem-prover,A theorem prover for intuitionistic propositional logic
User: ncfavier
theorem-prover,Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
User: nclarius
theorem-prover,An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
User: newca12
theorem-prover,Datalog + Egg = Good
User: philzook58
Home Page: http://www.philipzucker.com/egglog0/
theorem-prover,Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
User: ptarau
theorem-prover,An automated prover targeting problems that involve nonlinear real arithmetic.
User: rasheedja
theorem-prover,Auto-active verification of floating-point programs.
User: rasheedja
theorem-prover,Experiments with interactive theorem provers, LLMs and formal systems
User: riccardobiosas
theorem-prover,Grail is a theorem prover for multimodal type-logical grammars
User: richardmoot
Home Page: http://www.labri.fr/perso/moot/grail3.html
theorem-prover,Spacemacs layer for the Lean Theorem Prover.
User: robkorn
theorem-prover,A Theorem Prover for Propositional Logic
User: sramakrishnan247
theorem-prover,The Yices SMT Solver
Organization: sri-csl
Home Page: https://yices.csl.sri.com/
theorem-prover,A language-generic implementation of equality saturation in Haskell
User: taktoa
theorem-prover,Reimplementation of Natural Number Game in Coq
User: uncomputable
theorem-prover,An SMT Solver for string constraints
User: uuverifiers
theorem-prover,The Princess Theorem Prover
User: uuverifiers
theorem-prover,Autonomous Theorem Prover for First Order Predicate Logic
User: yakuza8
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.