issues
search
advancedresearch
/
poi
a pragmatic point-free theorem prover assistant
Apache License 2.0
136
stars
7
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Parse `x!>y`
#947
bvssvni
closed
3 years ago
0
Added symbol `x!>y`
#946
bvssvni
closed
3 years ago
0
Fixed syntax when parsing `∂ * x`
#945
bvssvni
closed
3 years ago
0
Parse and display `∂x`
#944
bvssvni
closed
3 years ago
0
Added `∂` symbol
#943
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)((x - s:\)^2) => 2 * (x - s:\);`
#942
bvssvni
closed
3 years ago
0
Added `𝐝(x)((a : \) ^ \b) => 0;`
#941
bvssvni
closed
3 years ago
0
Bind normally to constant type judgements
#940
bvssvni
closed
3 years ago
0
Added `((a:\ + b)^2) <=> ((a:\)^2 + 2 * a:\ * b + b^2);`
#939
bvssvni
closed
3 years ago
0
Added `((a - b:\)^2) <=> (a^2 - 2 * a * b:\ + (b:\)^2);`
#938
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)(\k * m:\ * y) => k * m:\ * 𝐝(x)(y);`
#937
bvssvni
closed
3 years ago
0
Added associativity with constants
#936
bvssvni
closed
3 years ago
0
Added `x:\ * 1 => x:\;`
#935
bvssvni
closed
3 years ago
0
Added `1 * x:\ => x:\;`
#934
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)(k:\ * y) => k:\ * 𝐝(x)(y);`
#933
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)(y:\) => 0;`
#932
bvssvni
closed
3 years ago
0
Added `a:\ + !\b - !\c => a:\ + (b - c);`
#931
bvssvni
closed
3 years ago
0
Added `!\a + (b:\ + c) => b:\ + (a + c);`
#930
bvssvni
closed
3 years ago
0
Added `!\a * b:\ => b:\ * a;`
#929
bvssvni
closed
3 years ago
0
Added `!\a + b:\ => b:\ + a;`
#928
bvssvni
closed
3 years ago
0
Added `x - \a * x => (1 - a) * x;`
#927
bvssvni
closed
3 years ago
0
Added `x - x => 0;`
#926
bvssvni
closed
3 years ago
0
Added `x + \a * x => (a + 1) * x;`
#925
bvssvni
closed
3 years ago
0
Moved normalization of constants to its own section
#924
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)(y - z) => 𝐝(x)(y) - 𝐝(x)(z);`
#923
bvssvni
closed
3 years ago
0
Added `𝐝(!\x)(y + z) => 𝐝(x)(y) + 𝐝(x)(z);`
#922
bvssvni
closed
3 years ago
0
Added unicode help for derivatives and integrals to standard library
#921
bvssvni
closed
3 years ago
0
Updated `d` to `deriv` in `help`
#920
bvssvni
closed
3 years ago
0
Update `d` to `deriv` in `help`
#919
bvssvni
closed
3 years ago
0
Find a memory efficient replacement of `BinaryHeap`
#918
bvssvni
opened
3 years ago
0
Generic Levenshtein
#917
bvssvni
opened
3 years ago
0
Minor improvements to docs
#916
bvssvni
closed
3 years ago
0
Add support for custom symbols
#915
bvssvni
closed
3 years ago
2
Added `auto <expr>`
#914
bvssvni
closed
3 years ago
0
Add `auto <expr>` to REPL
#913
bvssvni
closed
3 years ago
0
Added more commutativity utilities
#912
bvssvni
closed
3 years ago
0
Published 0.18.0
#911
bvssvni
closed
3 years ago
0
Added Levenshtein example to docs
#910
bvssvni
closed
3 years ago
0
Improved Levenshtein proof search
#909
bvssvni
closed
3 years ago
0
Derive `PartialOrd`
#908
bvssvni
closed
3 years ago
0
Added arity constraints
#907
bvssvni
closed
3 years ago
0
Don't synthesize `_`
#906
bvssvni
closed
3 years ago
0
Added `auto lev`
#905
bvssvni
closed
3 years ago
0
Add `auto lev` to REPL
#904
bvssvni
closed
3 years ago
0
Added `lev` (pick minimum Levenshtein distance)
#903
bvssvni
closed
3 years ago
0
Pick minimum Levenshtein distance from incomplete proof search
#902
bvssvni
closed
3 years ago
0
Show Levenshtein distance
#901
bvssvni
closed
3 years ago
0
Show Levenshtein distance as helpful heuristic when not able to reach the goal
#900
bvssvni
closed
3 years ago
0
Use space to try again in REPL
#899
bvssvni
closed
3 years ago
0
Add try again in REPL
#898
bvssvni
closed
3 years ago
0
Previous
Next