Functional Programming India
Functional Programming India

FPIndia Online - Feb 2026

FPIndia Online Meetup for the month of Feb 2026

All submissions

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.

All submissions

Comments

{{ gettext('Login to leave a comment') }}

{{ gettext('Post a comment…') }}
{{ gettext('New comment') }}
{{ formTitle }}

{{ errorMsg }}

{{ gettext('No comments posted yet') }}

Register

Hosted by

Functional Programming India
Functional Programming India
The homepage for the Indian Functional Programming community