Giters
Rishiyur S. Nikhil (rsnikhil)

rsnikhil

Geek Repo

178

followers

0

following

1

stars

Company:Bluespec, Inc.

Location:Framingham, MA, USA

Github PK Tool:Github PK Tool

Rishiyur S. Nikhil's starred repositories

hs-to-coq

Convert Haskell source code to Coq source code

Language:CoqLicense:MITStargazers:280Issues:16Issues:147