欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
RedNotebook
来自开放百科 - 灰狐
RedNotebook is a graphical diary and journal helping you to keep track of notes and thoughts. It includes a calendar navigation, customizable templates for each day, export functionality and word clouds.
Links
分享您的观点
