This is the API documentation for proof-rails-1.1.2 Documentation.