RD
Ramit Das
A walk through humanity's ideas of logic and computation
Submitted Oct 24, 2025
I shall try and present to you the journey humans took to reach the modern theorem provers.
Comments
Hosted by
The homepage for the Indian Functional Programming community
{{ gettext('Login to leave a comment') }}
{{ gettext('Post a comment…') }}{{ errorMsg }}
{{ gettext('No comments posted yet') }}