Luis Wirth

Announcements

  • [BSc Thesis] Rust Implementation of Finite Element Exterior Calculus. Find it on arXiv!
  • [ZUCCMAP Talk] Lean4 and the Curry-Howard Isomorphism. Watch it on YouTube!

    • Links

  • LinkedIn
  • GitHub