WilfredTA / Functional-Benchmarks

Collection of benchmarks of functional programming languages and proof assistants.

Geek Repo

Github PK Tool