alabhyajindal

alabhya.me

Posts

• The Definition of Standard ML [pdf]
  by alabhyajindalon 5/19/2025, 6:18 PMwith 0 comments
• The Future of Mathematics? [video] (2020)
  by alabhyajindalon 5/15/2025, 1:38 PMwith 0 comments
• A proof checker meant for education
  by alabhyajindalon 3/21/2025, 11:47 AMwith 51 comments