Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for vector coq
coq
x
vector
x
3 search results found
Color
⭐
30
Coq library on rewriting theory and termination
Bbv
⭐
25
Bedrock Bit Vector Library
Bits
⭐
21
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Related Searches
Python Vector (2,274)
C Plus Plus Vector (1,411)
Javascript Vector (986)
Matrix Vector (839)
C Vector (673)
Ocaml Coq (164)
Types Coq (81)
Haskell Coq (63)
Definition Coq (53)
Calculus Coq (50)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.