Topic: formal-proofs Goto Github
Some thing interesting about formal-proofs
Some thing interesting about formal-proofs
formal-proofs,A library of formalized automaton algorithms
User: acorrenson
formal-proofs,Web-based natural deduction proof assistant
User: adamdejl
Home Page: https://adamdejl.github.io/pithosnd/
formal-proofs,A style guide for Coq
Organization: appliedfm
Home Page: https://vstyle.readthedocs.io
formal-proofs,🧪 | Rinha de Backend Lean4
User: aripiprazole
Home Page: https://meoowers.github.io/rinha/rinhabackendsimulation-20230911191507033/
formal-proofs,A Formalization of Martingales using Isabelle/HOL
User: ata-keskin
formal-proofs,Formal proofs of some elementary mathematical statements
User: bkomuves
formal-proofs,matroids in lean
User: bryangingechen
formal-proofs,CafeOBJ proof of Key Secrecy of PACE with OTS/CafeOBJ.
Organization: bsi-bund
formal-proofs,Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
Organization: coq-community
Home Page: https://coq-community.org/hydra-battles/doc/hydras.pdf
formal-proofs,
User: danielbelchamber
formal-proofs,Library for formalizing cryptography proofs in Lean 3 (Deprecated)
User: dtumad
formal-proofs,Formalized quantum computing in Lean theorem prover
User: duckki
formal-proofs,Exercises and project for Programming Language Seminar course at ITU
User: ecly
formal-proofs,Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
User: expln
Home Page: https://expln.github.io/lamp/latest/index.html
formal-proofs,Solving Mathematics in Lean 4
User: gabriel-fallen
formal-proofs,Solutions to Coq exercises from Formal proof: an Introduction to Type Theory class in 2018/1
User: gastd
formal-proofs,A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
User: gbury
formal-proofs,Mastering the Art of Cryptol Programming
User: hacker-code-j
formal-proofs,Trabajo de Fin de Grado de Matemáticas, en la Universidad Complutense de Madrid. Presentado en septiembre de 2023.
User: haztecaso
formal-proofs,Paxos algorithm specified and proved in TLA+/PlusCal, with separate processes and invariants for proposers and acceptors.
User: hvanz
formal-proofs,A formal verification of a mathematics/combinatorics paper "On the Erdős-Tuza-Valtr Conjecture"
User: jcpaik
Home Page: https://arxiv.org/abs/2206.04260
formal-proofs,An implementation of Algorithm W in Idris with a complete proof
User: joonazan
formal-proofs,Coq course materials with my solutions
User: kamirus
formal-proofs,Lean 3's obsolete mathematical components library: please use mathlib4
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/lean3
formal-proofs,Compiling Concurrency Correctly—Verifying Software Transactional Memory
User: liyang
formal-proofs,The Principia Rewrite
User: logicalatomist
Home Page: https://www.principiarewrite.com/
formal-proofs,Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Organization: logicalhacking
formal-proofs,Examples to get some practice on functional programming and formal proofs
User: maisamilena
formal-proofs,A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machine proof.
User: markpock
formal-proofs,A Coq library providing tactics to deal with hypothesis
User: matafou
formal-proofs,Formalizing "Proofs from THE BOOK"
User: mo271
formal-proofs,Group Theory (Second Sylow Theorem) formalized in Naproche.
User: moritz-hl
formal-proofs,十分钟魔法练习
User: niltok
Home Page: https://magic.huohuo.moe
formal-proofs,Formalization of temporal logic in Coq
User: notbad4u
formal-proofs,some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills
User: pragmatwice
formal-proofs,An exploration of fumulas in Agda—a new perspective on ring theory
User: pthariensflame
Home Page: https://pthariensflame.github.io/agda-fumulas/
formal-proofs,Experiments with interactive theorem provers, LLMs and formal systems
User: riccardobiosas
formal-proofs,WIP: work in progress
User: seasawher
formal-proofs,Meu site pessoal e blog onde posto coisas que acho interessantes
User: sergiobonatto
Home Page: https://sergiobonatto.github.io/
formal-proofs,IsarMathLib is a library of formalized mathematics for Isabelle/ZF.
User: skolodynski
Home Page: https://isarmathlib.org
formal-proofs,A formal specification and verification of Tree Sort algorithm in Coq
User: spidermoy
formal-proofs,formally verified category theory library
Organization: statebox
formal-proofs,Automatic math proofer
User: tomerghelber
formal-proofs,
Organization: unitb
formal-proofs,An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.
User: xamidi
Home Page: https://xamidi.github.io/pmGenerator/
formal-proofs,ebproof extended
User: zeta611
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.