9 search results for "tag:"interactive""
Showing 1 - 9
-
Platform dedicated to the analysis of source code written in C28.1LGPL-2.1-onlyUsed by 3 other packages04 Mar 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
Bindings for the Leaflet JavaScript library0.1BSD-2-ClauseUsed by 0 other packages16 Jun 2022
-
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023
-
why
No documentation
Why is a software verification platform.2.41LGPL-2.1-onlyUsed by 0 other packages03 Jul 2018 -
Why3 environment for deductive program verification1.7.1LGPL-2.1-onlyUsed by 7 other packages25 Jan 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.1LGPL-2.1-onlyUsed by 0 other packages25 Jan 2024
-
Why3 environment for deductive program verification1.7.1LGPL-2.1-onlyUsed by 0 other packages25 Jan 2024