Submissions

FPIndia Online - Feb 2026

FPIndia Online Meetup for the month of Feb 2026

Accepting submissions

Not accepting submissions

Ramit Das

A walk through humanity's ideas of logic and computation

I shall try and present to you the journey humans took to reach the modern theorem provers. more
  • 0 comments
  • Submitted
  • 24 Oct 2025

Hosted by

The homepage for the Indian Functional Programming community