ProgLog /
RecentChanges
- DAT350 . . . by Ulf:
- StockholmGoteborgMeeting231128 . . . by Matthias Hutzler: Add link to Christians notes on GAHTs
- StockholmGoteborgMeeting231123 . . . by Peter Dybjer:
- StockholmGoteborgMeetings . . . by Peter Dybjer:
- StockholmGoteborgMeeting230412 . . . by Andreas: Link to John Scott's Palace
- StockholmGoteborgMeeting210812 . . . December 08, 2021, at 09:50 AM by Fabian:
- StockholmGoteborgMeeting211208 . . . December 08, 2021, at 09:48 AM by Fabian:
- StockholmGoteborgMeeting210428 . . . April 26, 2021, at 08:55 PM by Fabian: somehow cut off Nisse's abstract
- StockholmGoteborgMeeting200227 . . . April 26, 2021, at 08:39 PM by Fabian: had somehow missed Ayberk's abstract, and found Max' abstract
- SideBar . . . April 26, 2021, at 07:38 AM by Fabian:
- StockholmGoteborgMeeting171025 . . . April 26, 2021, at 07:37 AM by Fabian:
- StockholmGoteborgMeeting180323 . . . April 26, 2021, at 07:37 AM by Fabian:
- StockholmGoteborgMeeting181212 . . . April 26, 2021, at 07:37 AM by Fabian:
- CoursePlan . . . November 19, 2020, at 02:42 PM by Christian Sattler:
- CTFP20 . . . October 25, 2020, at 07:44 AM by Thierry:
- CTFP18 . . . November 04, 2018, at 08:18 PM by coquand:
- CoursePlanHA . . . November 04, 2018, at 08:17 PM by coquand:
- CTHA18 . . . November 02, 2018, at 12:20 PM by Christian Sattler:
- CTFP17 . . . November 01, 2018, at 12:49 PM by coquand:
- DAT140 . . . September 07, 2017, at 09:04 AM by Anonymous Coward: Make road sign more visible
- ProgLog . . . September 15, 2016, at 06:34 PM by Oleg Kiselyov Simon Peyton Jones Chung-chieh Shan: Fun with type function by Oleg Kiselyov Simon Peyton Jones Chung-chieh Sha - Johannes, Karen, Shamsi
- Seminar . . . May 04, 2015, at 12:54 PM by Andreas Abel:
- News . . . January 14, 2015, at 12:28 PM by Andreas Abel:
- HoTT . . . December 17, 2014, at 02:04 PM by Bas Spitters:
- TypeTheoryAndFormalizationOfMathematics . . . December 17, 2014, at 09:49 AM by Bas Spitters:
- Members . . . March 05, 2013, at 05:05 PM by Cyril:
- Collaboration . . . October 12, 2012, at 06:28 PM by Peter Dybjer:
- Domains . . . March 15, 2012, at 10:16 PM by guilhem:
- Publication . . . August 08, 2011, at 08:59 AM by Bassel Mannaa: external link for publications until we can find a way to embed them here
- WorkshopSpring11 . . . March 07, 2011, at 09:38 PM by NAD: Updated my abstract.