This is your work, valued

Darmstadt, DE

Andrés Goens

Expert
@goens

lost-pop-lean. POP Memory Model in Lean

12

lean-metaprogramming-slides. Slides for a 2-hour lecture on Lean Metaprogramming

4

lean-hoare. Hoare Logic in Lean

3

flint2. My development repo for work on FLINT (Fast Library for Number Theory)

2

lean-power-calc. Lean

2

smf-ues-2022. Repositorio del Minicurso "Demostración de teoremas interactiva asistida usando Lean"

1

generalized-rewriting. Lean

1

epeg_isabelle. Isabelle

1

disaggregated-litmus. Python

1

rand-code-graph. Haskell

1