GitHub repository: CornellDataScience/FormalDB
Primary language: CSS
Created: 2019-02-10T19:40:44Z
Description: FormalDB is a prototype database management system built in Gallina, verified in Coq. This repo has an expanded OCaml layer and a further expanded Node.js layer for GUI use