„Lean theorem prover“

Suchergebnisse

7 Treffer

• Computability and l2-Betti Numbers
  Uschold, Matthias ; Löh, Clara ; Friedl, Stefan 2022 Universitätsbibliothek Regensburg
• Automatically Generalizing Proofs and Statements
  Gandhi, Anshula ; Tadipatri, Anand Rao ; Gowers, Timothy 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Algebra Is Half the Battle: Verifying Presentations of Graded Unipotent Chevalley Groups
  Wang, Eric ; Bhoja, Arohee ; Codel, Cayden ; Singer, Noah G. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Duper: A Proof-Producing Superposition Theorem Prover for Dependent Type Theory
  Clune, Joshua ; Qian, Yicheng ; Bentkamp, Alexander ; Avigad, Jeremy 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Formalizing Automated Market Makers in the Lean 4 Theorem Prover
  Pusceddu, Daniele ; Bartoletti, Massimo 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Extending the automatic theorem prover nanoCoP with arithmetic procedures
  Repp, Leo ; Kreitz, Christoph ; Frank, Mario 2023 Universität Potsdam
• Learning about Proof with the Theorem Prover LEAN: the Abundant Numbers Task
  Thoma, Athina ; Iannone, Paola