Revision as of 15:32, 14 December 2022 edit Skyerise (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 149,364 edits add link ← Previous edit		Revision as of 01:40, 15 December 2022 edit undo Skyerise (talk \| contribs) Extended confirmed users, Pending changes reviewers, Rollbackers 149,364 edits →See also: list Next edit →
Line 123: ==See also== * [[~~HOL~~List of (proof ~~assistant)~~assistants]]▼ * [[Coq]] ▲* [[HOL (proof assistant)]] * [[Idris (programming language)]] * [[Isabelle (proof assistant)]] == References ==

Agda (programming language): Difference between revisions