alabhyajindal

Posts

• The Definition of Standard ML [pdf]

  by alabhyajindal on 5/19/2025, 6:18:27 PM with 0 comments

• The Future of Mathematics? [video] (2020)

  by alabhyajindal on 5/15/2025, 1:38:08 PM with 0 comments

• A proof checker meant for education

  by alabhyajindal on 3/21/2025, 11:47:37 AM with 51 comments