• Rocq logo Rocq logo
  • Standard Library
  • Learn
  • Platform
  • Packages
  • Community
  • Consortium
  • News
  • Get Started
  • Rocq logo Rocq logo
  • Learn
  • Platform
  • Packages
  • Community
  • Consortium
  • News
  • Standard Library
  • Get started

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

Showing 1 - 2
  1. 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-05-10
    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.3
    LGPL-2.1-or-later
    Used by 1 other packages
    10 May 2025
  2. 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

Footer

Rocq Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
GitHub branch and commit.

About Rocq

  • Changelog
  • Releases
  • Industrial Users
  • Academic Users
  • History
  • Why Rocq?
  • Roadmap

Resources

  • Install Rocq
  • Get Started
  • Documentation
  • Books
  • Papers
  • Logo

Ecosystem

  • Platform
  • Packages
  • Rocq Team
  • Community
  • Consortium
  • Events
  • Rocq Planet
  • Jobs

Policies

  • Governance
  • Privacy
  • Code of Conduct