The following pages link to Carst Tankink (Q2843011):
Displaying 6 items.
- Formal Mathematics on Display: A Wiki for Flyspeck (Q2843012) (← links)
- Point-and-Write – Documenting Formal Mathematics by Reference (Q2907322) (← links)
- Asynchronous Processing of Coq Documents: From the Kernel up to the User Interface (Q2945623) (← links)
- Proviola: A Tool for Proof Re-animation (Q3582730) (← links)
- (Q4596793) (← links)
- Communicating Formal Proofs: The Case of Flyspeck (Q5327363) (← links)
