proof-ninja's repositories
coq-result
The Result Type for Coq
docker-BIRDS
Dockerfile of BIRDS
Language:Batchfile000
analysis
Mathematical Components compliant Analysis Library
Language:CoqNOASSERTION000
Language:OCaml000
CompCert
The CompCert formally-verified C compiler
NOASSERTION000
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
MIT000
Language:Dockerfile000
Language:Elm000
EmployeeHandbook
株式会社proof ninja 就業規則
000
infer
A static analyzer for Java, C, C++, and Objective-C
MIT000
infotheo
A Coq formalization of information theory and linear error-correcting codes
Language:CoqLGPL-2.1000
Language:OCaml000
math-comp
Mathematical Components
Language:Coq000
mathcomp-install
Coq/SSReflect/MathComp installation instructions in Japanese
000
ocaml-d3
OCaml bindings for D3.js
NOASSERTION000
proofninja_website
The source code of proof ninja website
Language:Coq000
Language:Scala000
Language:OCaml000