Skip to content

@mxthematic mxthematic

Change the repository type filter

All

    Repositories list

    3 repositories

    • openproof

      Public
      Conversational theorem prover for Lean 4. Describe a theorem, get a machine-checked proof.
      rusttheorem-provingtui
      rusttheorem-provingtuiformal-verificationmathliblean4llm
      Rust
      •
      MIT License
      •0•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • openproof-ml

      Public
      Training pipeline for on-device Lean 4 tactic prediction models
      Python
      •
      Other
      •0•0•0•0•Updated Mar 30, 2026Mar 30, 2026

    • homebrew-tap

      Public
      Homebrew formulae for mxthematic projects
      Ruby
      •0•0•0•0•Updated Mar 28, 2026Mar 28, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.