Topic: prover Goto Github
Some thing interesting about prover
Some thing interesting about prover
prover,A natural deduction prover in Gentzen's system.
User: 9y0
prover,Haskell interface to automated theorem provers
User: aztek
Home Page: https://hackage.haskell.org/package/atp
prover,Zero-Knowledge Proofs "for (not too much :wink: ) dummies"
User: baro77
Home Page: https://www.bybaro.it/tss
prover,[research] A modular SMT solver in OCaml, based on mcSAT
User: c-cube
Home Page: https://c-cube.github.io/mc2/
prover,A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
User: c-cube
Home Page: https://c-cube.github.io/sidekick/
prover,Python Symbolic Information Theoretic Inequality Prover
User: cheuktingli
prover,Cicada Language (PLCT little team)
Organization: cicada-lang
Home Page: https://cicada-lang.org
prover,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
prover,Resolution theorem proving for predicate logic in pure Python.
User: evhub
prover,An implementation of a propositional logic resolution prover in Rust.
User: excaliburzero
prover,A HOL-based framework for reasoning over knowledge graphs
Organization: ibm
Home Page: https://ibm.github.io/ULKB/
prover,Shared peer-to-peer network of zero-knowledge provers
Organization: iosis-tech
Home Page: https://docs.zetina.iosis.tech/
prover,A kernel using inference rules in order to compute the three of proves.
User: jacobleygonie
prover,A neural parser for typelogical grammars based on Sinkhorn networks and Linear Logic Proof Nets.
User: konstantinoskokos
prover,A experimental prover written in Common Lisp, based on clause resolution and Knuth-Bendix completion algorithm.
User: moratori
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
prover,An awesome list of prover mechanism resources of the zk ecosystem
User: niluferokay
prover,Python library for computational formal logic, formal semantics, and theorem proving
User: ozekik
Home Page: https://ozekik.github.io/mathesis/
prover,A mini ZFC prover embedded in Coq for teaching scenarios. (CoqPL'23)
User: rikosellic
prover,A simple automated theorem prover written in Haskell
User: rohitanwar
prover,An interpreter for an imperative language and a Hoare logic prover
User: sauzeauyannis
prover,analyzer of the proof structure of a clause set by resolution and HOW TO WRITE THE WORLDS BY FOL.
User: sazare
prover,An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
Organization: sneeuwballen
Home Page: https://sneeuwballen.github.io/zipperposition/
prover,A community-developed re-implementation of the Starkware Stone Prover
User: thor314
prover,State of project before the move from Ant to Gradle
Organization: variable-value
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.