GitHub - for-all-dev/stacksprint: A 90 day run at formal verification in ML inference infrastructure · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
ci		ci
crates		crates
dataplane		dataplane
docs		docs
hosted		hosted
platform		platform
specs		specs
tools		tools
.gitignore		.gitignore
CLAUDE.md		CLAUDE.md
flake.nix		flake.nix
verus		verus

About

A 90 day run at formal verification in ML inference infrastructure

Custom properties

0 stars

0 watching

Report repository

Releases

No releases published

Packages

Contributors

Languages