GitHub - linesthatinterlace/goppadecoding

This repository was archived by the owner on May 23, 2022. It is now read-only.

Name	Name	Last commit message	Last commit date
Latest commit linesthatinterlace Updated leanpkg May 23, 2022 294f31a · May 23, 2022 History 12 Commits
docs	docs	Created docs folder	May 23, 2022
src	src	Refactor of mathlib content	May 13, 2022
.gitignore	.gitignore	Initial commit	Apr 5, 2022
leanpkg.toml	leanpkg.toml	Updated leanpkg	May 23, 2022