Report or block braibant
Contact Support about this user's behavior.Report abuse
A tutorial on how to write OCaml tactics for the Coq proof assistant
A Coq plugin that allows a user to start and stop timers.
An OCaml version of the LTac "exploit" tactic, used as a tutorial for writing Coq plugins