Skip to content

Issues: advancedresearch/poi

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

40 Open 67 Closed
40 Open 67 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

Add (!= _) constraint on constants in rules discussion
#1095 opened Sep 28, 2023 by bvssvni
2 tasks
Is it possible for Poi to automatically find easily invertible formulas? discussion
#1093 opened Sep 28, 2023 by bvssvni
Add cross symbol discussion draft
#1092 opened Sep 28, 2023 by bvssvni
Add (!= _) symbol discussion draft
#1068 opened May 18, 2022 by bvssvni
Add prime symbol discussion draft
#1067 opened May 18, 2022 by bvssvni
Remove eqb => eq discussion draft
#1062 opened May 11, 2021 by bvssvni
2
Use Avalog as context solver discussion draft
#1061 opened May 10, 2021 by bvssvni
Turn on/off decidable tactics for Boolean algebra discussion draft
#1051 opened May 10, 2021 by bvssvni
Print steps from start to goal in REPL discussion draft
#1042 opened May 2, 2021 by bvssvni
Direct 4-value logic discussion draft
#1041 opened Apr 26, 2021 by bvssvni
Handling inconsistency of function equality discussion draft
#1039 opened Apr 26, 2021 by bvssvni
Disable proof search when inlining discussion draft
#1033 opened Apr 26, 2021 by bvssvni
Add "Q.E.D." to scripts discussion draft
#1032 opened Apr 26, 2021 by bvssvni
Add equivalences by inlining discussion draft
#1031 opened Apr 26, 2021 by bvssvni
Add "run file.poi" to execute files as Poi-Reduce scripts discussion draft
#1029 opened Apr 26, 2021 by bvssvni
Inequal normal paths discussion
#1000 opened Apr 25, 2021 by bvssvni
Turn off reductions in Poi-Reduce discussion draft
#980 opened Apr 23, 2021 by bvssvni
Proof format discussion draft
#978 opened Apr 23, 2021 by bvssvni
2
Module system discussion draft
#977 opened Apr 23, 2021 by bvssvni
1
Find a memory efficient replacement of BinaryHeap discussion
#918 opened Nov 21, 2020 by bvssvni
Generic Levenshtein discussion information
#917 opened Nov 21, 2020 by bvssvni
Apply single rule in REPL discussion draft
#896 opened Nov 20, 2020 by bvssvni
Add type for complex numbers with f64 coefficients discussion draft
#884 opened Nov 19, 2020 by bvssvni
Add Euler identity for complex exp discussion draft
#878 opened Nov 19, 2020 by bvssvni
Compute det (matrix determinant) discussion draft hard
#811 opened Nov 16, 2020 by bvssvni
ProTip! Find all open issues with in progress development work with linked:pr.