7 search results for "tag:"interactive""
Showing 1 - 7
-
Platform dedicated to the analysis of source code written in C32.0~betaLGPL-2.1-onlyUsed by 1 other packages11 Nov 2025
-
Bindings for the Leaflet JavaScript library0.2BSD-2-ClauseUsed by 0 other packages06 Feb 2025
-
An experimental, interactive theorem prover0.99.5GPL-2.0-or-laterUsed by 0 other packages05 Oct 2023
-
Interactive notebook for OCaml data science1.0.0~alpha1ISCUsed by 1 other packages02 Oct 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 7 other packages19 Sep 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 0 other packages19 Sep 2025
-
Why3 environment for deductive program verification1.8.2LGPL-2.1-onlyUsed by 0 other packages19 Sep 2025