Agda2 Examples, Libraries, Software
Library for interactive programs with Graphics applications
Extraction of Programs from Proofs for Real Number Computation
Other Software
Anton Setzer
Last modified: Mon Apr 11 10:56:03 BST 2011