Skip to content

Issues: imandra-ai/imandra-docs

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

19 Open 6 Closed
19 Open 6 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Connectivity branding on FIX reference docs site page
#212 opened Sep 3, 2024 by actionshrimp
@elijahkagan
2
Mistake in Recursion, Induction, and Rewriting notebook
#211 opened Aug 14, 2024 by benbellick
3
Update DiscoverBalancedTrees notebook
#200 opened Aug 21, 2023 by actionshrimp
@hesterjeng
document [@@macro] doc topic
#179 opened Aug 30, 2022 by Bronsa
Imandra: Public Documentation Epic
#177 opened Aug 24, 2022 by Bronsa
document [@@induct_on] doc topic
#153 opened Jul 30, 2021 by Bronsa
document FC role in unrolling, validate_induct doc topic
#152 opened Apr 12, 2021 by Bronsa
document [@@bitblast] doc topic
#150 opened Mar 3, 2021 by Bronsa
Document abstractor doc topic
#144 opened Feb 2, 2021 by Bronsa
Interaction between clausal simplifier and spurious hypothesis doc topic
#14 opened Sep 4, 2019 by Bronsa
What is/how powerful is the logic used by Imandra doc topic
#13 opened Sep 4, 2019 by Bronsa
More in-depth [@@blast] documentation doc topic
#12 opened Sep 4, 2019 by Bronsa
How to express forall_exists in Imandra doc topic
#11 opened Sep 4, 2019 by Bronsa
backchain_limit config and its interaction in induction doc topic
#10 opened Sep 4, 2019 by Bronsa
[@@otf] induction hint doc topic
#9 opened Sep 4, 2019 by Bronsa
1
[@@opaque] validation hint doc topic
#8 opened Sep 4, 2019 by Bronsa
@grantpassmore
[@@nonlin] verification hint doc topic
#7 opened Sep 4, 2019 by Bronsa
Numeric library/syntax in Imandra, and its relationship with OCaml's doc topic
#6 opened Sep 4, 2019 by Bronsa
Induction in the presence of mutually recursive functions doc topic
#5 opened Sep 4, 2019 by Bronsa
ProTip! Follow long discussions with comments:>50.