1 search result for "author:"Haogang Chen""

Showing 1 - 1
  1. coq-bbv

    No documentation

    An implementation of bitvectors in Coq.
    Tej Chajed Haogang Chen Adam Chlipala Joonwon Choi Andres Erbsen et al.
    1.5
    MIT
    Used by 0 other packages
    07 Mar 2024