Giters

Blaisorblade / ProjectEuler-Coq-test

Experiments from coq.zulipchat.com learning VST

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Experiments from coq.zulipchat.com learning VST

License:Creative Commons Zero v1.0 Universal

Languages

Language:Coq 98.8%Language:C 1.2%