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