About 18 results for "UCWe5B7Ikr0AI9727doEUxPg"

Lean Together 2024: Ramon Fernández Mir, CvxLean, modeling convex optimization problems in Lean

leanprover community • Jan 25, 2024

Lean Together 2024: Mac Malone, How Reservoir boosts your Lean packages

leanprover community • Jan 25, 2024

Lean Together 2024: Sorawee Porncharoenwase, A pretty expressive printer

leanprover community • Jan 25, 2024

Lean Together 2024: Wrenna Robson, Permutations on bitvectors

leanprover community • Jan 25, 2024

Lean Together 2024: David Thrane Christiansen, Verso: Documentation as a DSL

leanprover community • Jan 25, 2024

Sagredo: automated dialogue between GPT and Lean.

leanprover community • Sep 25, 2023

Infinitude of primes --- a Lean theorem prover demo

leanprover community • Jul 7, 2021

LftCM2020: Natural number game - Kevin Buzzard

leanprover community • Sep 25, 2020