2 search results for "author:"Takafumi Saikawa""

Showing 1 - 2

coq-infotheo

No documentation

Discrete probabilities and information theory for Coq

keyword:information theory keyword:probability keyword:error-correcting codes keyword:convexity logpath:infotheo date:2025-02-21

Reynald Affeldt, AIST Manabu Hagiwara, Chiba U. (previously AIST) Jonas Senizergues, ENS Cachan (internship at AIST) Jacques Garrigue Kazuhiko Sakaguchi, Tsukuba U. et al.

0.9.1

LGPL-2.1-or-later

Used by 1 other packages

21 Feb 2025
coq-monae

No documentation

Monads and equational reasoning in Coq

keyword:monae keyword:effects keyword:probability keyword:nondeterminism logpath:monae.theories logpath:monaeImpredicativeSet date: 2025-02-26

Reynald Affeldt David Nowak Takafumi Saikawa Jacques Garrigue Ayumu Saito et al.

0.9.0

LGPL-2.1-or-later

Used by 0 other packages

26 Feb 2025