A Lisp Way to Type Theory and Formal Proofs (2017) [pdf]
163 by pmoriarty | 9 comments on Hacker News.
Popular Posts
-
Jorge Masvidal drops to No. 5 in latest UFC rankings update, Tyron Woodley removed altogether MMA Mania Jorge Masvidal: 'I am a fan...
-
Listen to Device Orchestra cover the Ghostbusters theme using electric toothbrushes and a steam iron The Verge The Ghostbuster's So...
-
PlayStation 5 DualSense - Official Cosmic Red and Midnight Black Reveal Trailer IGN Two new DualSense wireless controller colors hit sh...
Labels Cloud
Facebook Like
Search This Blog
Powered by Blogger.
Blog Archive
- December 2025 (21)
- November 2025 (47)
- October 2025 (49)
- September 2025 (50)
- August 2025 (43)
- July 2025 (46)
- June 2025 (51)
- May 2025 (53)
- April 2025 (41)
- March 2025 (49)
- February 2025 (40)
- January 2025 (46)
- December 2024 (48)
- November 2024 (46)
- October 2024 (44)
- September 2024 (45)
- August 2024 (57)
- July 2024 (42)
- June 2024 (42)
- May 2024 (55)
- April 2024 (39)
- March 2024 (45)
- February 2024 (32)
- January 2024 (42)
- December 2023 (42)
- November 2023 (42)
- October 2023 (47)
- September 2023 (83)
- August 2023 (83)
- July 2023 (102)
- June 2023 (107)
- May 2023 (169)
- April 2023 (163)
- March 2023 (166)
- February 2023 (149)
- January 2023 (162)
- December 2022 (166)
- November 2022 (167)
- October 2022 (182)
- September 2022 (179)
- August 2022 (174)
- July 2022 (176)
- June 2022 (179)
- May 2022 (176)
- April 2022 (178)
- March 2022 (171)
- February 2022 (174)
- January 2022 (240)
- December 2021 (338)
- November 2021 (620)
- October 2021 (649)
- September 2021 (624)
- August 2021 (713)
- July 2021 (713)
- June 2021 (690)
- May 2021 (707)
- April 2021 (690)
- March 2021 (713)
- February 2021 (644)
- January 2021 (713)
- December 2020 (713)
- November 2020 (690)
- October 2020 (632)
- September 2020 (690)
- August 2020 (713)
- July 2020 (713)
- June 2020 (690)
- May 2020 (713)
- April 2020 (690)
- March 2020 (713)
- February 2020 (667)
- January 2020 (713)
- December 2019 (711)
- November 2019 (683)
- October 2019 (707)
- September 2019 (681)
- August 2019 (712)
- July 2019 (710)
- June 2019 (682)
- May 2019 (2983)
- April 2019 (2936)
- March 2019 (3035)
- February 2019 (2738)
- January 2019 (3043)
- December 2018 (3031)
- November 2018 (2955)
- October 2018 (3048)
- September 2018 (2938)
- August 2018 (3050)
- July 2018 (3058)
- June 2018 (2882)
- May 2018 (2987)
- April 2018 (2865)
- March 2018 (2948)
- February 2018 (2719)
- January 2018 (674)
0 comments: