Category:Pages needing attention

From The Twelf Project

Jump to: navigation, search

Pages that need some work - very short pages, pages that aren't completely formatted, etc.

Pages in category "Pages needing attention"

There are 49 pages in this category.

%

A

Adequacy

B

Bibliography of LF

C

D

Dependent types

E

F

Fixity declaration

F cont.

Function

H

J

Judgment

L

M

Meta-logic

N

O

P

R

S

T

U

W

Z

Zermelo Frankel

Retrieved from "http://twelf.plparty.org/wiki/Category:Pages_needing_attention"

Views

Personal tools

Log in / create account

the twelf wiki

learn twelf

reference

Search

Toolbox