https://github.com/thery/plouffe

Computing Pi decimal using Plouffe Formula in Coq
https://github.com/thery/plouffe

coq coq-formalization pi plouffe-formula theorem-proving

Last synced: 3 months ago
JSON representation

Computing Pi decimal using Plouffe Formula in Coq

• Host: GitHub
• URL: https://github.com/thery/plouffe
• Owner: thery
• License: mit
• Created: 2015-01-12T15:03:38.000Z (about 10 years ago)
• Default Branch: master
• Last Pushed: 2021-10-29T08:47:13.000Z (about 3 years ago)
• Last Synced: 2024-01-26T06:52:08.932Z (12 months ago)
• Topics: coq, coq-formalization, pi, plouffe-formula, theorem-proving
• Language: Coq
• Size: 67.4 KB
• Stars: 6
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project