Skip to content
@lean-forward

Lean Forward

Popular repositories Loading

  1. logical_verification_2024 logical_verification_2024 Public

    The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

    Lean 46 6

  2. cap_set_problem cap_set_problem Public

    A formalization of Ellenberg and Gijswijt's solution to the cap set problem.

    Lean 7

  3. class-number class-number Public

    A paper on formalizing Dedekind domains and the class number

    Lean 3

  4. class-group-and-mordell-equation class-group-and-mordell-equation Public

    Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

    Lean 3

  5. field field Public

    a tactic to normalize field expressions

    Lean 1

  6. ring_exp ring_exp Public

    A short paper on the `ring_exp` tactic

    TeX 1

Repositories

Showing 10 of 12 repositories
  • logical_verification_2024 Public

    The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)

    lean-forward/logical_verification_2024’s past year of commit activity
    Lean 46 6 0 0 Updated Mar 28, 2024
  • mathlib-classes Public

    Use and abuse of instance parameters in the Lean mathematical library

    lean-forward/mathlib-classes’s past year of commit activity
    Lean 1 1 0 0 Updated Apr 1, 2023
  • class-group-and-mordell-equation Public

    Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

    lean-forward/class-group-and-mordell-equation’s past year of commit activity
    Lean 3 0 0 0 Updated Dec 13, 2022
  • class-number-journal Public
    lean-forward/class-number-journal’s past year of commit activity
    Lean 0 Apache-2.0 0 0 0 Updated Jun 24, 2022
  • cap_set_problem Public

    A formalization of Ellenberg and Gijswijt's solution to the cap set problem.

    lean-forward/cap_set_problem’s past year of commit activity
    Lean 7 0 0 0 Updated Jul 4, 2021
  • class-number Public

    A paper on formalizing Dedekind domains and the class number

    lean-forward/class-number’s past year of commit activity
    Lean 3 0 0 0 Updated Jun 28, 2021
  • ring_exp Public

    A short paper on the `ring_exp` tactic

    lean-forward/ring_exp’s past year of commit activity
    TeX 1 0 0 0 Updated Jun 30, 2020
  • ring_equational_reasoner Public

    Tactic to deduce new equations from given ones (using Gröbner-bases) in a ring or more precisely a commutative algebra over a field

    lean-forward/ring_equational_reasoner’s past year of commit activity
    Lean 0 1 0 0 Updated Nov 14, 2019
  • mersenne-primes Public Forked from Vierkantor/mersenne-primes

    A bijection between Mersenne primes and even perfect numbers

    lean-forward/mersenne-primes’s past year of commit activity
    Lean 0 1 0 0 Updated Sep 19, 2019
  • field Public

    a tactic to normalize field expressions

    lean-forward/field’s past year of commit activity
    Lean 1 0 0 0 Updated Jul 22, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…