Files | Anaconda.org

conda-forge / packages / boogie

0

Boogie is a modeling language, intended as a layer on which to build program verifiers for other languages.

copied from cf-post-staging / boogie

Filters

Type	Size	Name	Uploaded	Downloads	Labels
conda	2.9 MB	\| noarch/boogie-3.4.3-h267e887_1.conda	8 months and 18 days ago	741	main
conda	2.9 MB	\| noarch/boogie-3.4.3-h267e887_0.conda	8 months and 26 days ago	770	main
conda	2.6 MB	\| noarch/boogie-3.4.3-hd8ed1ab_0.conda	8 months and 30 days ago	719	main