1 search result for "tag:"logpath:Plouffe""

Showing 1 - 1
  1. coq-plouffe

    No documentation

    A Coq formalization of Plouffe formula
    logpath:Plouffe
    Laurent Thery
    1.5.0
    MIT
    Used by 0 other packages
    19 Dec 2024