lurk-lab / valus Public

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

A smart contract platform with on-chain formal verification

AGPL-3.0 license

2 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
nix		nix
node		node
runtime		runtime
.envrc		.envrc
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
shell.nix		shell.nix

Repository files navigation

Valus - a substrate based block chain with native Yatima support

About

A smart contract platform with on-chain formal verification

AGPL-3.0 license

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages