Category:Proof

From Event-B

Jump to navigation Jump to search

Subcategories

This category has only the following subcategory.

P

Proof patterns

Pages in category "Proof"

The following 15 pages are in this category, out of 15 total.

A

Accessing Proof Obligations

E

Extending the Proof Manager

I

Improved WD Lemma Generation

N

New Proof Rules

P

T

Theory Plug-in

Retrieved from ‘https://wiki.event-b.org/index.php?title=Category:Proof&oldid=13378’

Navigation menu