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
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

Packages

Contributors

Languages