Plugins > Waterproof proof language

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