Revision as of 15:16, 11 May 2020 edit DannyS712 bot (talk \| contribs) Bots 133,272 edits m Update syntaxhighlight tags - remove use of deprecated <source> tags - BOT in trial - BRFA Tag: AWB ← Previous edit		Revision as of 23:34, 11 June 2020 edit undo Clayrat (talk \| contribs) 81 edits →See also Next edit →
Line 123: ==See also== * [[Coq]] * [[Isabelle (proof assistant)]]▼ * [[HOL (proof assistant)]] * [[Idris (programming language)]] ▲* [[Isabelle (proof assistant)]] == References ==

Agda (programming language): Difference between revisions