CakeML

- cakeml.org
22,792,460 $ 8.95


HOL4, Kananaskis-10

- hol-theorem-prover.org
Not Applicable $ 8.95