Mathematics and Computation

A blog about mathematics for computers

Software contributions by Andrej Bauer

The up-to-date list of software is maintained on my home page.

For a complete list of repositories, visit GitHub.