Repository navigation

sonatina-verification

Public

About

Formal verification proofs of Sonatina IR

AGPL-3.0 license

Custom properties

3 stars

5 watching

Report repository

Name		Name	Last commit message	Last commit date
bin		bin
src		src
.envrc		.envrc
.gitignore		.gitignore
.gitmodules		.gitmodules
LICENSE		LICENSE
README.md		README.md
sonatina-verification.agda-lib		sonatina-verification.agda-lib

Repository files navigation

sonatina-verification

Library containing formal verification proofs of Sonatina IR

About

Formal verification proofs of Sonatina IR

AGPL-3.0 license

Custom properties

3 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages