KOBAYASHI Kazuhiro's repositories
Language:Rust000
Language:Coq000
Language:Rust000
Language:Rust000
Language:Rust000
tch-rs
Rust bindings for the C++ api of PyTorch.
Apache-2.0000
Berardi
Exclude middle implies proof irrelevance
Language:CoqMIT000
nanogui
Minimalistic C++/Python GUI library for OpenGL, GLES2/3, Metal, and WebAssembly/WebGL
Language:C++NOASSERTION000
opam-repository
Main public package repository for opam, the source package manager of OCaml.
CC0-1.0000
Language:OCaml000
Language:Coq000
Language:Coq000
Language:Coq000
coq_isabelle_compare
compare coq and isabelle side-by-side
Language:CoqMIT000
Language:Coq000
Language:C++000
Language:Coq000
Language:Coq000