Isar for if-then-else (3 messages, latest: Aug 04 2020 at 14:32)
Referring to a type class (15 messages, latest: Aug 04 2020 at 12:28)
Ambigous parsing (5 messages, latest: Aug 04 2020 at 12:01)
Github (13 messages, latest: Jul 25 2020 at 08:19)
OF: resolving premise that is an implication (14 messages, latest: Jul 21 2020 at 10:39)
[Bad session “
Apply theorem to assumptions (11 messages, latest: Jun 19 2020 at 15:22)
using and applying rule (28 messages, latest: Jun 19 2020 at 11:40)
Schematic variables to meta-quantified (4 messages, latest: May 27 2020 at 14:15)
Locale assumptions (5 messages, latest: May 26 2020 at 19:59)
stream events (2 messages, latest: May 12 2020 at 13:44)
Last updated: Aug 04 2020 at 22:00 UTC