Alternatives and similar repositories for yamma:

Users that are interested in yamma are comparing it to the libraries listed below

• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆29Updated this week
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 3 months ago
• metamath / metamath-book
  Source of metamath book
  ☆46Updated last year
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆11Updated this week
• b-mehta / combinatorics
  ☆22Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆73Updated 4 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆79Updated 5 months ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated last week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• leanprover-community / llm
  Interfacing with Large Language Models (remote and local) from Lean.
  ☆25Updated 6 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• ah1112 / synthetic_euclid_4
  ☆10Updated 11 months ago
• ImperialCollegeLondon / m1fexplained_lean3
  A Lean formalisation of parts of Martin Liebeck's "A concise introduction to pure mathematics"
  ☆13Updated last year
• djvelleman / HTPILeanPackage
  ☆25Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆36Updated 9 months ago
• b-mehta / unit-fractions
  ☆14Updated last year
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated 11 months ago
• kckennylau / local-langlands-abelian
  Formalization of Statement of Local Langlands Correspondence for Tori
  ☆11Updated 6 years ago
• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• leanprover / lean-client-js
  ☆34Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆62Updated 11 months ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆37Updated this week
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 3 months ago
• leanprover-community / doc-gen
  Generate HTML documentation for mathlib and Lean
  ☆21Updated 3 months ago
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆17Updated last year
• leanprover-community / leancrawler
  An obsolete python library which gathers statistics and relational information about Lean 3 libraries.
  ☆17Updated 9 months ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆39Updated this week
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆11Updated 4 months ago