Logiweb(TM)

8.3 Proofs

Prev Up Next Page 309 of 800 Search internet

8.3.1 Proof constructors
8.3.2 Proof level tactics
8.3.3 Proof indentation
8.3.4 Inclusion of proofs in text
8.3.5 Plain proofs

Prev Up Next Page 309 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05