search

nomeata / incredible

The Incredible Proof Machine
MIT License
358 stars 36 forks source link

Update index.html #136

Closed richardkiss closed 1 year ago

richardkiss commented 1 year ago

Fix typo.