Youmu-Niwashi

Pinned Repositories

splay-correct
Final project of SJTU CS263, functional correctness of splay tree
Language:Coq00

Youmu-Niwashi's Repositories

Youmu-Niwashi/splay-correct
Final project of SJTU CS263, functional correctness of splay tree
Language:Coq00