Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

antalsz/hs-to-coq

Convert Haskell source code to Coq source code

Archived: this repository is read-only

Owner: antalsz (personal account)
Stars: Stars: 283
Forks: Forks: 26
Language: Coq
License: MIT
Created: 2017
Tier: Alpha (250 to 699 ★) What this tier means

Nearby in Coq

rocq-community/rocq-tricksStars: 556CoqAlpha
princeton-vl/CoqGymStars: 422CoqAlpha
lulinchen/cnn_openStars: 263CoqAlpha
mit-pdos/fscqStars: 252CoqAlpha
hacspec/hacspecStars: 250CoqAlpha