Luis Wirth

MSc CSE @ ETHz

Announcements

• [ZUCCMAP Talk] Lean4 and the Curry-Howard Isomorphism.
  • Watch it on YouTube!
• [BSc Thesis] Rust Implementation of Finite Element Exterior Calculus.
  • Paper on arXiv!
  • Presentation on YouTube!
  • Implementation Formoniq on GitHub!
• [YT Video] What is Finite Element Exterior Calculus?
  • Watch it on YouTube!

Links

• CV
• LinkedIn
• GitHub