repositories Search Results · topic:theorem-proving org:leanprover fork:true

Filter by

• • Code... (...)results
  • Repositories3 (3)results
  • Issues
    results
  • Pull requests
    results
  • AI resources
    results
  • Discussions
    results
  • More

• Languages

  • Lean
  • C++
  • More languages...

• Advanced

  • Owner
  • Size
  • Number of followers
  • Number of forks
  • Number of stars
  • Date created
  • Date pushed
  • Topic
  • License
  • Archived
  • Public
  • Private
• Advanced search

Filter:Repositories3 (3)

3 results  (108 ms)

3 results

inleanprover (press backspace or delete to remove)

Sort by: Best match

Filter

leanprover/lean3

Public archive

Lean Theorem Prover

programming-language

dependent-types

theorem-proving

verification

type-theory

• C++
·
• 2.2k
·
• Updated
  on Oct 14, 2023

Star

leanprover/Pantograph

(Mirror) A Machine-to-Machine Interaction System for Lean 4

machine-learning

theorem-proving

proof-assistant

lean4

• Lean
·
• 84
·
• Updated
  14 days ago

Star

leanprover/sos

Harrison's sum-of-squares decision procedure for nonlinear real arithmetic in Lean 4

theorem-proving

semidefinite-programming

formal-verification

sum-of-squares

lean4

• Lean
·
• 8
·
• Updated
  on Aug 26

Star

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects

ProTip! Press the / key to activate the search input again and adjust your query.

Sponsor open source projects you depend on

Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projects

ProTip! Press the / key to activate the search input again and adjust your query.