proof
Here are 9 public repositories matching this topic...
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
-
Updated
Dec 15, 2014 - Java
A proof-of-concept library for motif analysis using MDL techniques.
-
Updated
May 28, 2022 - Java
The ElGamal encryption and proof components
-
Updated
Mar 19, 2018 - Java
tokenization project
-
Updated
Jan 13, 2020 - Java
Program finds a general formula, which gives all integer solutions to a two variable diophantine linear equation
-
Updated
Dec 23, 2023 - Java
Given a graph grammar defined in AGG (.ggx) using a type graph, converts the file to a new one, usable in Rodin, containing the same definition.
-
Updated
Jan 18, 2018 - Java
An system for visualising Ontologies through Concept and Property Diagrams
-
Updated
May 7, 2018 - Java
Proof of concept for "Cannelloni Deployment" with spring
-
Updated
Feb 17, 2017 - Java
Improve this page
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."