Tags · antalsz/hs-to-coq · GitHub

+

This repository was archived by the owner on Nov 17, 2020. It is now read-only.

Tags

JFP-containers

The artifact for subimission to JFP.

Oct 31, 2019
3c0bd60
zip
tar.gz

coq-8.6

Tried to avoid unsafeFix in IntSet.foldlBits

but again I am stuck due to rocq-prover/rocq#6715 :-(

Feb 11, 2018
272f23a
zip
tar.gz

点击这是indexloc提供的php浏览器服务，不要输入任何密码和下载