The Twelf Programming Language and Theorem Prover
twelf.org
Twelf is a language used to specify, implement, and prove properties of deductive systems such as programming languages and logics.
立即前往
返回首页
