Skill
Agda
Programming Languages
Agda is a dependently typed functional programming language and proof assistant developed primarily by researchers at Chalmers University of Technology, used to write and formally verify mathematical proofs and program correctness. It is popular among computer scientists and type theory researchers for exploring constructive mathematics and formal verification. Programs in Agda double as machine-checked proofs due to the Curry-Howard correspondence.
Open roles requiring Agda (0)
None of the roles we’ve read name this skill yet. Browse all open roles.