Difference between revisions of "Rodin Platform"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m
imported>Ladenberger
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
== Rodin Platform Documentation ==
+
''For developer support, see [[Rodin Developer Support]]''
 +
 
 +
== Rodin Platform User Documentation ==
  
 
[[Rodin User Manual]]
 
[[Rodin User Manual]]
Line 5: Line 7:
 
[[Rodin Tutorials]]
 
[[Rodin Tutorials]]
  
 +
[http://handbook.event-b.org/current/html/atelier_b_provers.html Rodin Provers]
 +
 +
[[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