Topic: interactive-theorem-proving Goto Github
Some thing interesting about interactive-theorem-proving
Some thing interesting about interactive-theorem-proving
interactive-theorem-proving,An interactive theorem prover based on lambda-tree syntax
Organization: abella-prover
Home Page: https://abella-prover.org/
interactive-theorem-proving,Cicada Language (PLCT little team)
Organization: cicada-lang
Home Page: https://cicada-lang.org
interactive-theorem-proving,Cicada Language (solo version)
Organization: cicada-lang
Home Page: https://cicada-lang.org
interactive-theorem-proving,Interactive theorem proving in ELPI
User: cpiemontese
interactive-theorem-proving,
Organization: data61
interactive-theorem-proving,Visual Studio Code Extension and Language Server Protocol for Coq
User: ejgallego
interactive-theorem-proving,Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v
Organization: h2-math
interactive-theorem-proving,Recopilación de cursos de razonamiento automático.
User: jaalonso
interactive-theorem-proving,DAO (Demostración Asistida por Ordenador) con Lean
User: jaalonso
Home Page: https://github.com/jaalonso/DAO_con_Lean/raw/master/DAO_con_Lean.pdf
interactive-theorem-proving,Explorando formalizaciones con Lean
User: jaalonso
interactive-theorem-proving,Matemáticas en Lean
User: jaalonso
Home Page: https://www.cs.us.es/~jalonso/apuntes/Matematicas_en_Lean/Matematicas_en_Lean.pdf
interactive-theorem-proving,Bringsjordian Natural Deduction soundness wrt truth in the Calculus of Constructions
User: james-oswald
interactive-theorem-proving,An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
User: jaycech3n
interactive-theorem-proving,A dependent type theory logic for Isabelle
User: jaycech3n
interactive-theorem-proving,Isabelle's Pure logic, directly extended to FOL/HOL
User: jaycech3n
interactive-theorem-proving,Proof assistant created in the Plugin Oriented Programming paradigm
Organization: larch-team
interactive-theorem-proving,LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Organization: leanprover
interactive-theorem-proving,Online maths contests powered by interactive theorem provers
Organization: mathsforces
Home Page: https://mathsforces.com
interactive-theorem-proving,A fast, easy-to-use ring solver for agda with step-by-step solutions
User: oisdk
Home Page: https://oisdk.github.io/agda-ring-solver/README.html
interactive-theorem-proving,An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
Organization: rairlab
Home Page: https://rairlab.github.io/lazyslate/
interactive-theorem-proving,A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
Organization: rairlab
Home Page: https://rairlab.github.io/Peirce-My-Heart/
interactive-theorem-proving,VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
Organization: rairlab
interactive-theorem-proving,Experiments with interactive theorem provers, LLMs and formal systems
User: riccardobiosas
interactive-theorem-proving,
User: rizaldialbert
interactive-theorem-proving,Solutions to the problems in the book Concrete Semantics by Gerwin Klein and Tobias Nipkow
User: shangsuru
interactive-theorem-proving,Natural deduction proof assistant
User: shisharka
interactive-theorem-proving,The Slate Interactive Theorem Prover
User: sreichelt
Home Page: https://slate-prover.org
interactive-theorem-proving,HLM mathematical library for the Slate interactive theorem prover
User: sreichelt
Home Page: https://sreichelt.github.io/slate
interactive-theorem-proving,My personal repository of formally verified mathematics.
User: stepchowfun
interactive-theorem-proving,A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library
User: sumantchopdata
interactive-theorem-proving,Math in XO
Organization: termsurfback
interactive-theorem-proving,Convex optimization modeling in Lean 4
Organization: verified-optimization
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.