Python implementation of UDS (ISO-14229) standard.

Python533mit

2 months ago

1422915765automotive

Modeling and Proving in Computational Type Theory

Coq65

7 months ago

A library of mechanised undecidability proofs in the Coq proof assistant.

Coq98mpl-2.0

6 months ago

coq

Unified Diagnostics Service (UDS) and OBD-II (On Board Diagnostics for Vehicles)

C635bsd-3-clause

3 years ago

Official repository of the Autosubst 2 project.

Haskell15other

last year

coqformalizationmetatheory-language