• Skip to primary navigation
  • Skip to content
  • Skip to footer
Homepage
  • Papers
  • Teaching
  • Software
  • Formalizations
    Łukasz Czajka

    Łukasz Czajka

    compiler engineer, programming language designer, proof automation specialist, researcher in computational logic

    • Website
    • GitHub

    Teaching

    • Theory and Practice of Rocq
    © 2025 Homepage of Łukasz Czajka. Powered by Jekyll & Minimal Mistakes.