Search by job, company or skills
Showing 1 job
Skills:
proof writing , type theory , Isabelle, formal verification, Lean 4, Coq, HOL, Lean 3, Agda, Curry-Howard correspondence, proof automation tools