Kazuhiko Sakaguchi

icon indicating an email [email protected]

icon location Lyon, France icon location Postdoc in the Plume team at CNRS, ENS de Lyon, UCBL, LIP | Interests: interactive theorem proving, formalization of mathematics, and proof by reflection

Results 3 repositories owned by Kazuhiko Sakaguchi

lambda-calculus

75
Stars
7
Forks
Watchers

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

verified publisher icon pi8027

stablesort

21
Stars
1
Forks
Watchers

Stable sort algorithms and their stability proofs in Coq

verified publisher icon pi8027

typeinfer

39
Stars
2
Forks
Watchers

Type inference in OCaml

verified publisher icon pi8027