« first day (14 days earlier)
Feeds
00:00
This room has been
automatically frozen for inactivity
« first day (14 days earlier)
all rooms
Transcript for
Feb
4
Feb '24
19
Discussion between Christopher King a
…
Imported from a comment discussion on
proofassistants.stackexc...
constructive
program-extraction
proof-assistant
software-request
tactic
join this room
about this room
00:00
06:00
12:00
18:00
all times are UTC
site design / logo © 2025 Stack Exchange Inc;
legal
mobile
Discussion between Christopher King a…
Discussion between Christopher King a…