Developer profile

Andrés Goens

@goens on GitHub ↗

TU Darmstadt · Darmstadt, DE

Possibly Available

Evidence-backed skills

C Rust Shell Haskell HTML JavaScript PowerShell CSS Python MATLAB Docker Java SQLite

Repositories

lost-pop-lean

POP Memory Model in Lean

Lean★ 13⑂ 0

lean-metaprogramming-slides

Slides for a 2-hour lecture on Lean Metaprogramming

Lean★ 4⑂ 0

lean-hoare

Hoare Logic in Lean

Lean★ 3⑂ 0

epeg_isabelle

Isabelle★ 1⑂ 0

generalized-rewriting

Lean★ 1⑂ 0

rand-code-graph

Haskell★ 1⑂ 1

cmm-axiomatic

Alloy★ 0⑂ 0

lean-peg

Lean★ 0⑂ 0

lagc-lean

LAGC Semantics in Lean

Lean★ 0⑂ 0

lean4-equiv-Rw

Lean★ 0⑂ 0

goens.org-astro

Astro★ 0⑂ 0

cuda-litmus

Cuda★ 0⑂ 0