Popular repositories Loading

1. math654 math654 Public

   Homework and lecture notes from Math 654, Fall 2022

   Lean 2

2. Hawaiian-Elegance Hawaiian-Elegance Public

   WordPress theme based on Arcsin's Cerulean Elegance

   1

3. s4cs s4cs Public

   Open Educational Resource textbook: Statistics for Calculus Students

   TeX 1 2

4. ac-exercises ac-exercises Public

   Exercise solutions in Lean 4 for the book "Automatic complexity: a computable measure of irregularity", De Gruyter, 2024. [Folder "Acmoi" contains up-to-date project files.]

   Lean 1

5. structure-function structure-function Public

   R 1

6. isotone isotone Public

   Code for Algebra Universalis paper with Lei Liu, "Number of languages with maximal state complexity"

   Python