/CORE

A constructive proof assistant for second order logic.

Primary LanguageC

Watchers