Waterproof proof language

github.comtool

Plugin providing a language for writing proof scripts in a style that resembles non-mechanized mathematical proof.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Plugins: “Plugin providing a language for writing proof scripts in a style that resembles non-mechanized mathematical proof.”