Formal Mathematics Lab

equational_theories Public Forked from teorth/equational_theories
A project to map out the relations between different equational theories of Magmas.

FormalMathematicsLab/equational_theories’s past year of commit activity

Lean 0 Apache-2.0 49 0 0 Updated Oct 7, 2024
type_checking_in_lean4 Public Forked from ammkrn/type_checking_in_lean4
Type Checking in Lean 4

FormalMathematicsLab/type_checking_in_lean4’s past year of commit activity

JavaScript 0 Apache-2.0 6 0 0 Updated Sep 1, 2024
ICL_Course_FormalMathematics_2024 Public Forked from ImperialCollegeLondon/formalising-mathematics-2024
Repository hosting resources for the 2024 course in Formal Mathematics at @ImperialCollegeLondon taught by Kevin Buzzard (@kbuzzard).

FormalMathematicsLab/ICL_Course_FormalMathematics_2024’s past year of commit activity

Lean 0 Apache-2.0 32 0 0 Updated Aug 22, 2024
DL4TP Public Forked from zhaoyu-li/DL4TP
A Survey on Deep Learning for Theorem Proving

FormalMathematicsLab/DL4TP’s past year of commit activity

2 MIT 8 0 0 Updated May 15, 2024
UniBonn_Course_Lean4_2023-2024 Public Forked from fpvandoorn/LeanCourse23
Repository hosting resources for the 2023/2024 course in Lean at the University of Bonn taught by Floris Van Doorn (@fpvandoorn).

FormalMathematicsLab/UniBonn_Course_Lean4_2023-2024’s past year of commit activity

Lean 0 Apache-2.0 21 0 0 Updated May 11, 2024
odyssey-math Public Forked from protagolabs/odyssey-math

FormalMathematicsLab/odyssey-math’s past year of commit activity

Python 1 MIT 7 0 0 Updated Apr 30, 2024
human-style-atp Public Forked from wtgowers/human-style-atp

FormalMathematicsLab/human-style-atp’s past year of commit activity

CSS 0 MIT 3 0 0 Updated Apr 29, 2024
blog Public Forked from leanprover-community/blog
Source for the community blog

FormalMathematicsLab/blog’s past year of commit activity

Python 0 20 0 0 Updated Apr 28, 2024
ntptutorial-II Public Forked from cmu-l3/ntptutorial-II
Neural theorem proving tutorial, version II

FormalMathematicsLab/ntptutorial-II’s past year of commit activity

Jupyter Notebook 0 MIT 5 0 0 Updated Apr 19, 2024
llmlean Public Forked from cmu-l3/llmlean
LLMs + Lean, on your laptop or in the cloud

FormalMathematicsLab/llmlean’s past year of commit activity

Lean 1 MIT 14 0 0 Updated Apr 18, 2024

View all repositories

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Formal Mathematics Lab

Pinned Loading

Repositories

People

Top languages

Most used topics