Who can see your viewing activity?
Le coq sportif :)
coq au vin
(Now, what I can't help but be curious of, is what fundamental design choices Coq makes that differ from those in HOL4.)
that's probably just a parsing decision since that's the order of operations
I have to leave slightly early today unfortunately, but thanks Emily, very informative talk!