Voozh

VOOZH

URL: https://github.com/FormalMathematicsLab

⇱ Formal Mathematics Lab · GitHub

Pinned Loading

UniRome_Workshop_Lean_2024 Public

Forked from fpvandoorn/LeanInRome

Repository hosting resources for the 2024 workshop "Computer-Verified Proofs: 48 Hours in Rome" organised by @oliver-butterley, @RafaelGreenblatt and @marcolenci.

Lean
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).

Lean
mathlib4 Public

Forked from leanprover-community/mathlib4

The math library of Lean 4.

Lean
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).

Lean

Repositories

Showing 10 of 32 repositories

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

Lean 0 Apache-2.0 92 0 0 Updated
type_checking_in_lean4 Public Forked from ammkrn/type_checking_in_lean4
Type Checking in Lean 4

JavaScript 0 Apache-2.0 10 0 0 Updated
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).

Lean 0 Apache-2.0 59 0 0 Updated
DL4TP Public Forked from zhaoyu-li/DL4TP
A Survey on Deep Learning for Theorem Proving

2 MIT 17 0 0 Updated
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).

Lean 0 Apache-2.0 21 0 0 Updated
odyssey-math Public Forked from protagolabs/odyssey-math

Python 1 MIT 13 0 0 Updated
human-style-atp Public Forked from wtgowers/human-style-atp

CSS 0 MIT 2 0 0 Updated
blog Public Forked from leanprover-community/blog
Source for the community blog

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

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

Lean 2 MIT 31 0 0 Updated

View all repositories

People

👁 @amayorcas
👁 @pitmonticone
👁 @LorenzoLuccioli
👁 @JakKruko

You can’t perform that action at this time.