Questions tagged [mizar]
The mizar tag has no usage guidance.
1
question
10
votes
1
answer
157
views
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 ...