Skip to content
View AG161's full-sized avatar
1 follower · 0 following

Block or report AG161

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

kmill / repl

Forked from leanprover-community/repl

A simple REPL for Lean 4, returning information about errors and sorries.

Lean 1 1 Updated Oct 16, 2024

facebookresearch / miniF2F

An updated version of miniF2F with lots of fixes and informal statements / solutions.

Objective-C++ 77 19 Updated Jan 4, 2025

rah4927 / lean-dojo-mew

Lean 8 11 Updated Sep 23, 2023

josojo / Lean4Repl

Lean 2 1 Updated Nov 4, 2023

kim-em / lean-training-data

Lean 41 11 Updated Feb 14, 2025

josojo / lean_ai_helper

Lean 1 Updated Nov 5, 2023

leanprover-community / mathlib4

The math library of Lean 4

Lean 1,791 380 Updated Mar 11, 2025

Paper-Proof / paperproof

Lean theorem proving interface which feels like pen-and-paper proofs.

TypeScript 399 10 Updated Feb 19, 2025

lean-dojo / LeanDojo

Tool for data extraction and interacting with Lean programmatically.

Python 623 97 Updated Mar 10, 2025