search

nomeata / incredible

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

Fix minor spelling issue #109

Closed rogpeppe closed 5 years ago

rogpeppe commented 5 years ago

"Logics blocks" doesn't read well in English.