Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
e11485f7
Commit
e11485f7
authored
Jul 08, 2010
by
Jean-Christophe Filliâtre
Browse files
revise ta trigo
parent
a69a3b6d
Changes
2
Hide whitespace changes
Inline
Side-by-side
theories/real.why
View file @
e11485f7
...
...
@@ -297,7 +297,7 @@ theory TrigonometryTest
use import Square
lemma Cos_2_pi : cos (2.0 * pi) = 1.0
lemma Sin_2_pi :
cos
(2.0 * pi) = 0.
lemma Sin_2_pi :
sin
(2.0 * pi) = 0.
lemma Tan_pi_3 : tan (pi / 2.0) = sqrt 3.0
lemma Atan_1 : atan 1.0 = pi / 4.0
...
...
why.conf
View file @
e11485f7
[
main
]
library
=
"theories"
timelimit
=
10
timelimit
=
2
[
prover
alt
-
ergo
]
name
=
"Alt-Ergo"
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment