shayan-najd / Embedding-By-Normalisation Public

Notifications You must be signed in to change notification settings
Fork 1
Star 5

Supporting Material for the paper "Embedding-By-Normalisation"

GPL-3.0 license

5 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 88 Commits
Agda		Agda
Paper		Paper
LICENSE		LICENSE
Power.hs		Power.hs
README.md		README.md
ReadMe		ReadMe

Repository files navigation

Embedding-By-Normalisation

Supporting Material for the paper "Embedding-By-Normalisation"

About

Supporting Material for the paper "Embedding-By-Normalisation"

GPL-3.0 license

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages