issues
search
windsteiger
/
Theorema
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
70
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Definitions whose left-hand-sides contain quantifiers
#52
amaletzk
opened
7 years ago
0
Use relative paths in tutorials instead of absolute
#51
MasterOdin
opened
8 years ago
0
Formula-cell tags
#50
amaletzk
opened
9 years ago
0
User-defined buttons in Commander
#49
amaletzk
opened
9 years ago
0
Option for not creating any computation info
#48
amaletzk
opened
9 years ago
0
"let"-quantifier
#47
amaletzk
closed
9 years ago
0
Proof tree nodes problem
#46
magmagithub
opened
10 years ago
0
Virtual keyboard
#45
magmagithub
opened
10 years ago
0
Formulas persinstance in Session/Inspect
#44
magmagithub
opened
10 years ago
0
Replacement of bound variables
#43
amaletzk
opened
10 years ago
0
Proof information broken links
#42
magmagithub
closed
10 years ago
1
Restore-mode (Demo-mode) for computations
#41
windsteiger
closed
10 years ago
1
initial proof situation simplification
#40
windsteiger
closed
10 years ago
0
Error in knowledge browser
#39
amaletzk
closed
10 years ago
1
Measure evaluation times of computations
#38
amaletzk
closed
9 years ago
0
Formula evaluation timings
#37
amaletzk
opened
11 years ago
3
Formula labels
#36
amaletzk
opened
11 years ago
0
Stylesheet problem
#35
amaletzk
closed
11 years ago
1
Higher-order formulae
#34
amaletzk
opened
11 years ago
0
"OK next" button in connection with computing/solving
#33
amaletzk
closed
10 years ago
0
Errors in connection with domain operators
#32
amaletzk
closed
11 years ago
1
Suggestions Bar still visible in Mathematica 9
#31
amaletzk
opened
11 years ago
0
GUI: applicable global declarations
#30
windsteiger
closed
10 years ago
1
GUI: prove submit summary
#29
windsteiger
closed
10 years ago
1
Proof info and proof object in notebook
#28
windsteiger
closed
10 years ago
0
TimeConstrained for proof search
#27
windsteiger
closed
11 years ago
1
Proof information
#26
windsteiger
closed
11 years ago
0
SequenceOf
#25
windsteiger
closed
11 years ago
0
makeSet
#24
windsteiger
closed
11 years ago
0
Mma assignments during Theorema input
#23
windsteiger
closed
11 years ago
0
Syntax
#22
windsteiger
opened
11 years ago
0
Initial proof object: use previously generated object
#21
windsteiger
opened
11 years ago
1
GUI: present collections
#20
windsteiger
closed
10 years ago
0
Proof window: size for presentations
#19
windsteiger
closed
11 years ago
1
Proof object: ids
#18
windsteiger
closed
11 years ago
1
Inference rules for min, max
#17
windsteiger
opened
11 years ago
0
GUI: aliases for expressions entering invisible parentheses
#16
windsteiger
closed
11 years ago
0
Prover programming: datastructure accessors
#15
windsteiger
opened
11 years ago
0
Prover programming: KB operations
#14
windsteiger
closed
11 years ago
0
Proof tree live view in long proofs
#13
windsteiger
closed
10 years ago
2
Global Declarations apply only when free variables are present
#12
windsteiger
closed
11 years ago
1
Conditional equalities/equivalences
#11
windsteiger
opened
12 years ago
0
Mixed-type global declarations in one cell
#10
clange
opened
12 years ago
1
cond⇒ declaration button should not overwrite selection
#9
clange
opened
12 years ago
1
"where" as a (global) quantifier
#8
clange
closed
12 years ago
1
Text cell inside environment
#7
clange
closed
11 years ago
1
Make environments easier to select
#6
clange
opened
12 years ago
0
Make “session→math” button groups more easily expandable
#5
clange
closed
12 years ago
1
Evaluation of formulae
#4
windsteiger
opened
12 years ago
0
Filter knowledge browser
#3
windsteiger
closed
10 years ago
1
Next