Home My Page Projects Coq ALEA library for randomized programs
Summary Activity Forums Tracker Lists Tasks Docs News SCM Files

Coq ALEA library for randomized programs: Project Home - forge_get_config('forge_name')

Project description

The ALEA library forms a basis for reasoning on randomised algorithms in the proof assistant Coq. It is based on a monadic interpretation of programs as measures.

Project Information

This project has not yet categorized itself in the Trove Software Map

Registered: 2012-02-23 07:28
Activity Ranking: 0
View project Statistics or Activity
View list of RSS feeds available for this project.

Latest File Releases
This Project Has Not Released Any Files
Public Tools
Tracker Tracker
 Public Forums (3 messages in 3 forums)
Mailing Lists (1 public mailing list)
SCM Repository (Subversion: 0 updates, 0 adds)
Latest News
No News Found