About this site

Automatic performance measurements for the Lean theorem prover.

This site runs on top of Django and Codespeed

About the projects:

About Codespeed

Codespeed is a web application to monitor and analyze the performance of your code.

Code: github.com/tobami/codespeed

Wiki: wiki.github.com/tobami/codespeed/