mit-plv/stencils
A Coq library for verifying dependencies of stencil implementations
GitHub repository with 5 stars and 1 forks.
Language: Coq
Latest metric snapshot
2026-06-15: 5 stars and 1 forks.
A Coq library for verifying dependencies of stencil implementations
GitHub repository with 5 stars and 1 forks.
Language: Coq
2026-06-15: 5 stars and 1 forks.