Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Numeric library/syntax in Imandra, and its relationship with OCaml's #6

Open
Bronsa opened this issue Sep 4, 2019 · 0 comments
Open

Numeric library/syntax in Imandra, and its relationship with OCaml's #6

Bronsa opened this issue Sep 4, 2019 · 0 comments
Labels
doc topic

Comments

@Bronsa
Copy link
Member

Bronsa commented Sep 4, 2019 •
edited
Loading

  • integer syntax compiles to Z.t (Imandra's int), floating syntax compiles to Q.t (Imandra's real)
  • syntax extensions for ocaml integers and floats are <n>i and <n>p
  • Int/Real modules
  • gotchas about reasoning over Floats
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
doc topic
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Bronsa