Template:Proving

From The Twelf Project

Jump to: navigation, search

[[Proving metatheorems:{{{title}}}|{{{title}}}]] in the tutorial Proving metatheorems with Twelf

Documentation: This template wiki-links to the User:Drl's tutorial Proving metatheorems with Twelf. As an example,:

{{proving|title=Full LF}}

yields

Full LF in the tutorial Proving metatheorems with Twelf


Retrieved from "http://twelf.org/wiki/Template:Proving"
Personal tools