Block or Report
Block or report calroc
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Coq
All languages
Arduino
Assembly
Awk
Batchfile
C
C#
C++
CSS
Clojure
Common Lisp
Coq
Cuda
D
Elixir
Elm
Erlang
F#
Forth
Fortran
G-code
GDScript
GLSL
Go
HTML
Haskell
Java
JavaScript
Julia
Jupyter Notebook
M4
MATLAB
Makefile
Modula-2
NewLisp
Nim
Nunjucks
OCaml
OpenSCAD
Oz
PHP
Pascal
Perl
Prolog
Propeller Spin
Python
QML
Reason
Roff
Ruby
Rust
SCSS
Scala
Scheme
Shell
Smalltalk
TypeScript
VHDL
Verilog
Vim Script
WebAssembly
Wren
Zig
Nothing to show
Sort by: Most stars
2
stars
written in Coq
Clear filter
A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
Binary rational numbers in Coq [maintainer=@herbelin]