Index

Symbols

* (term) + (term) - (term) < (term)

<= (term) > (term) >= (term) ?= (term)

A

app (term)

Arithmetical notations

D

discrR (tactic)

F

flat_map (term)

fold_left (term) fold_right (term)

H

head (term)

L

length (term)

M

map (term)

mod (term)

N

nat_scope

Notations for lists nth (term)

P

Peano's arithmetic

Printing Float (flag)

R

rev (term)

S

singel: / (term)

split_Rabs (tactic) split_Rmult (tactic)

T

tail (term)

The constant number is not a binary64 floating-point value. A closest value number will be used and unambiguously printed number. [inexact-float,parsing] (warning)