Questions tagged [mizar]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
10 votes
1 answer

Is there a Mizar-like sublanguage for Coq?

Isabelle has the frontend Isar which mimics some features of the Mizar system. I'm curious if Coq has anything similar, i.e. an alternative to tactic scripts that's designed to be readable or similar ...
user avatar
  • 2,477