FPIndia Online - Feb 2026
FPIndia Online Meetup for the month of Feb 2026
Accepting submissions
Not accepting submissions
|
RD
Ramit Das A walk through humanity's ideas of logic and computationI shall try and present to you the journey humans took to reach the modern theorem provers. more
|
Hosted by
The homepage for the Indian Functional Programming community