Skip to content

Issues: windsteiger/Theorema

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

23 Open 29 Closed
23 Open 29 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

Definitions whose left-hand-sides contain quantifiers
#52 opened Jan 12, 2017 by amaletzk
Use relative paths in tutorials instead of absolute
#51 opened Dec 22, 2015 by MasterOdin
Formula-cell tags
#50 opened May 1, 2015 by amaletzk
User-defined buttons in Commander
#49 opened Jan 19, 2015 by amaletzk
Option for not creating any computation info
#48 opened Jan 19, 2015 by amaletzk
Proof tree nodes problem
#46 opened Sep 19, 2014 by magmagithub
Virtual keyboard
#45 opened Sep 19, 2014 by magmagithub
Formulas persinstance in Session/Inspect
#44 opened Sep 19, 2014 by magmagithub
Replacement of bound variables
#43 opened Sep 16, 2014 by amaletzk
Formula evaluation timings
#37 opened Sep 23, 2013 by amaletzk
3
Formula labels
#36 opened Aug 27, 2013 by amaletzk
Higher-order formulae
#34 opened Aug 26, 2013 by amaletzk
Suggestions Bar still visible in Mathematica 9
#31 opened Aug 26, 2013 by amaletzk
Syntax enhancement
#22 opened Jan 10, 2013 by windsteiger
@windsteiger
Initial proof object: use previously generated object enhancement
#21 opened Jan 9, 2013 by windsteiger
@windsteiger
1
Inference rules for min, max enhancement
#17 opened Jan 9, 2013 by windsteiger
@windsteiger
Prover programming: datastructure accessors enhancement
#15 opened Jan 9, 2013 by windsteiger
@windsteiger
Conditional equalities/equivalences enhancement
#11 opened Nov 13, 2012 by windsteiger
@windsteiger
Mixed-type global declarations in one cell enhancement
#10 opened Nov 9, 2012 by clange
@windsteiger
1
cond⇒ declaration button should not overwrite selection enhancement
#9 opened Nov 9, 2012 by clange
@windsteiger
1
Make environments easier to select enhancement
#6 opened Nov 8, 2012 by clange
@windsteiger
Evaluation of formulae enhancement
#4 opened Nov 7, 2012 by windsteiger
@windsteiger
Prover configuration enhancement wontfix
#1 opened Nov 7, 2012 by windsteiger
1
ProTip! What’s not been updated in a month: updated:<2024-09-27.