jesper-bengtson/Java

A model of Java in Coq based on the Charge! framework.

Coq