Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by SaxonRah
A curated list of projects in awesome lists by SaxonRah .
https://github.com/saxonrah/the_faulting_problem
Faulting Problem conjecture in computer science and software engineering. This repository contains a conjecture and proof with an implementation in Coq.
computer-science coq mathematics software-engineering white-paper whitepaper
Last synced: 06 Nov 2024
