GitHub - bryanhoulton/lemma-trees: A reductionist example of recursive statement definitions.

bryanhoulton / lemma-trees Public

Notifications You must be signed in to change notification settings
Fork 0
Star 2

A reductionist example of recursive statement definitions.

lemma-trees.vercel.app

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
public		public
src		src
.gitignore		.gitignore
README.md		README.md
package.json		package.json
postcss.config.js		postcss.config.js
tsconfig.json		tsconfig.json
vite.config.js		vite.config.js
yarn.lock		yarn.lock

Repository files navigation

Demo

Deployed at https://lemma-trees.vercel.app/

README

https://glen-plough-111.notion.site/Lemma-Derivation-Trees-4d988de4d0a6476199ce55f130fb0edd?pvs=4

Based on this writing

https://glen-plough-111.notion.site/Your-petabyte-brain-eabf2153bb7d40da9fc155f4da22ae94?pvs=4

About

A reductionist example of recursive statement definitions.

lemma-trees.vercel.app

Report repository

Releases

No releases published

Packages

No packages published

Languages