Explore projects

Template for writing an Oxford University thesis in R Markdown; uses the OxThesis LaTeX template and was inspired by thesisdown.

SICP相关代码和文档

Data and Code for ACL 2021 Paper "Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning"

https://guix.gnu.org/en/cuirass/

https://git.savannah.gnu.org/git/guix/guix-cuirass.git/