generic-syntax

An introductory course to Homotopy Type Theory

Agda formalisation of the Introduction to Homotopy Type Theory

用于强化神经网络逻辑规范的工具包

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

Basic Analysis, undergraduate real analysis textbook

A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.

?An easy-to-port/learn/use C++ data structure template library | 一个易于移植/使用/学习且结构简洁的数据结构模板库

「?」CVE-2022-33891 - Apache Spark Command Injection

Theorems, Definitions, Papers, Research

Library of some neat 2 dimensional data structures and algorithms which operate on them implemented in c++17