Bangalore FP November 2025 meetup - Cancelled
Bangalore FP November 2025 meetup - Cancelled
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.
{{ gettext('Login to leave a comment') }}
{{ gettext('Post a comment…') }}{{ errorMsg }}
{{ gettext('No comments posted yet') }}