Shengyi Wang's repositories
Lambda-Calculus
An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
FormalMath
A side project about formalization of mathematics.
Project-Euler
Solutions for Project Euler
GridMaze-Algorithm
Description of the algorithms used in my app GridMaze
Surreal-Number
My note and programs about surreal number created by John Horton Conway
Symmetries-of-Things
Notes about "The Symmetries of Things"
EmacsSettings
My Emacs Settings
Regular-Polytopes
Notes about Coxeter's "Regular Polytopes"
cdf-mech-sem
Coq development for the course "Mechanized semantics", Collège de France, 2019-2020
company-coq
A Coq IDE build on top of Proof General's Coq mode
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Hyperbolic-Tiling
Introduction and Code about Hyperbolic Tilings
LovePoints
Animations for Valentine's Day
PG
This repo is the new home of Proof General
tron-legacy-emacs-theme
Original retro-futuristic theme inspired by Tron: Legacy