Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
-
Updated
Dec 15, 2014 - Java
Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems
Merge sort correctness proof
A JavaScript proof of concept code for voice driven web apps
Proofs of correctness for "Partial Aborts for Software Transactional Memory" formalized in Coq
🚀 📐 Demonstration, example code and workflow blueprint for cross browser compatible responsive svg sprites
Luna is a proof-of-concept micro-programming language built of top of the Lua virtual machine. The Luna compilation suite is written in C++11, while Lua is written in C99.
Understanding the Quickhull Algorithm—assignment in the Algorithms VT15P4 (21AL1B) course.
Proof of concept for "Cannelloni Deployment" with spring
Testing out if the SHA-1 could really break in practice.
Small proof-of-concept (POC) prototype of the usage of an Angular 2 app in multi-page applications.
LaTeX and matlab files for this course
Mechanized formalization of Implicit resolution in Agda
A concept implementation of a bitcoin mining server.
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."