2 ms·
Coq 8.11.0 was recently released: https://github.com/coq/coq/releases/tag/V8.11.0 https://github.com/coq/coq/releases/tag/V8.11.0 This version introduces a new
by TheAsprngHacker 7y ago
Coq 8.11.0 was recently released: https://github.com/coq/coq/releases/tag/V8.11.0 https://github.com/coq/coq/releases/tag/V8.11.0
This version introduces a new tactic language, Ltac2.