Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL leanprover community 2,87 тыс. подписчиков Скачать
Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean Скачать
Lean Together 2024: Kaiyu Yang, Large Language Models as Copilots for Theorem Proving in Lean Скачать
Lean Together 2024: Evgenia Karunus and Anton Kovsharov, Paperproof visualising mathematical proof Скачать
Lean Together 2024: Josh Clune, Duper, A higher order proof producing superposition theorem prover Скачать
Introduction to Lean talk at the AIM workshop on cyberinfrastructure for research mathematics. Скачать
Lean for the Curious Mathematician 2023 Floris van Dorn, The Independence of the Continuum Hypoth Скачать
Lean for the Curious Mathematician 2023 Oliver Nash, On a formalization of Gromov's h principle Скачать
Lean for the Curious Mathematician 2023 Sebastian Ullrich, The Lean Focused Research Organization Скачать
Lean Together 2021: CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq Скачать
Lean Together 2021: LeanStep: a dataset and environment for (interactive) neural theorem proving Скачать
Sébastien Gouëzel: On a Mathematician's Attempts to Formalize his Own Research in Proof Assistants Скачать
Geir Dullerud: Statistical Model Checking of Stochastic Hybrid Systems with Logic-Based Specificatio Скачать
Alexei Lisitsa: First-Order Theorem (Dis)proving for Reachability Problems in Verification and Exper Скачать