GitHub - paiml/apr-cookbook: Examples of .apr format models

Name		Name	Last commit message	Last commit date
Latest commit History 344 Commits
.claude		.claude
.githooks		.githooks
.github		.github
.pmat-metrics		.pmat-metrics
.pmat-work		.pmat-work
.pmat		.pmat
assets		assets
benches		benches
book		book
contracts		contracts
docs		docs
examples		examples
kani		kani
lean		lean
scripts		scripts
src		src
tests		tests
.bashrsignore		.bashrsignore
.clippy.toml		.clippy.toml
.gitignore		.gitignore
.pmat-gates.toml		.pmat-gates.toml
.pmat-metrics.toml		.pmat-metrics.toml
CHANGELOG.md		CHANGELOG.md
CLAUDE.md		CLAUDE.md
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
deny.toml		deny.toml
justfile		justfile
lcov.info		lcov.info