Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

avigad/lamr

Logic and Mechanized Reasoning

Owner: avigad (personal account)
Stars: Stars: 120
Forks: Forks: 34
Language: Lean
License: None
Created: 2021
Tier: Prototype (100 to 249 ★) What this tier means

More repos by avigad

All 2 repos by avigad

avigad/mathematics_in_lean_sourceStars: 223LeanPrototype

Nearby in Lean

rami3l/PLFaLeanStars: 120LeanPrototype
google-deepmind/debateStars: 120LeanPrototype
leanprover/LNSymStars: 120LeanPrototype