Difference between revisions of "Rodin Platform"

From Event-B
Jump to navigationJump to search
imported>Son
imported>Ladenberger
 
(One intermediate revision by one other user not shown)
Line 7: Line 7:
 
[[Rodin Tutorials]]
 
[[Rodin Tutorials]]
  
[[Rodin Provers]]
+
[http://handbook.event-b.org/current/html/atelier_b_provers.html Rodin Provers]
  
[[Rodin Prover Tactics]]
+
[[Rodin Proof Tactics]]
  
 
[[Category:User documentation]]
 
[[Category:User documentation]]
 
[[Category:Rodin Platform]]
 
[[Category:Rodin Platform]]

Latest revision as of 10:51, 27 October 2011

For developer support, see Rodin Developer Support

Rodin Platform User Documentation

Rodin User Manual

Rodin Tutorials

Rodin Provers

Rodin Proof Tactics