search

theoremprover-museum / theoremprover-museum.github.io

https://theoremprover-museum.github.io
GNU General Public License v3.0
52 stars 7 forks source link

Fix typo #21

Closed mietek closed 4 years ago

kohlhase commented 4 years ago

Thanks Miëtek, also for the ALF update.