👻
  • Table of Contents
  • Overview

Ke Du

(this year - 2019)th Year Ph.D. student advised by William Mansky at UI Chicago. Concurrency, verification, coffee and milk tea.
1 posts
GitHub E-Mail 🐔 Lab

Random Stuff

Posted on 2023-05-19 Edited on 2025-10-17

“Cheating Papers”

opam

ssreflect

Coq Things

tactic w/ examples

tricks

more tricks

Coq linter

Proofster

Tactitian

© 2025 Ke Du
Powered by Hexo & NexT.Gemini
0%