formalmathematicslab Goto Github PK
Name: Formal Mathematics Lab
Type: Organization
Formal Mathematics Lab's Projects
arithmetization
Formalization of Arithmetization of Metamathematics
blog
Source for the community blog
dl4tp
A Survey on Deep Learning for Theorem Proving
fpv2023
Lecture notes, exercises, homeworks for Brown CS1951x 2023
glimpseoflean
An introduction to theorem proving in Lean for the impatient.
hausdorffschoollean
Repository for the September 2023 Hausdorff School on Lean
human-style-atp
icl_course_formalmathematics_2024
Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).
lean4
Lean 4 programming language and theorem prover
lean4-logic
Lean4 Logic Formalization.
lean4-metaprogramming-book
leanblueprint
plasTeX plugin to build formalization blueprints.
leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
lftcm2024
Repository hosting resources for the 2024 workshop "Lean for the Curious Mathematician".
llmlean
LLMs + Lean, on your laptop or in the cloud
llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
mathematics_in_lean_source
Source code for the Mathematics in Lean tutorial.
mathlib4
The math library of Lean 4.
mathlib4-all-tactics
Markdown file of the list and explanations of all mathlib4 tactics
ntptutorial
Tutorial on neural theorem proving
ntptutorial-ii
Neural theorem proving tutorial, version II
odyssey-math
pfr
Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
pnt-plus
blueprint for prime number theorem and more
stg4
Set Theory Game
theorem_proving_in_lean4
Theorem Proving in Lean 4
type_checking_in_lean4
Type Checking in Lean 4
unibonn_course_lean4_2023-2024
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).
unirome_workshop_lean_2024
Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.