issues
search
ideas-edu
/
logictools
Logic tools
https://www.bendevries.com/logictools/main
Apache License 2.0
1
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update en.json
#428
josjelodder
opened
6 months ago
0
Fix hulpvideo
#427
BenEdV
closed
1 year ago
0
Fix controls onder hulpvideo
#426
BenEdV
opened
1 year ago
0
Fix tests
#425
BenEdV
opened
1 year ago
0
Fix falende tests
#424
BenEdV
opened
1 year ago
0
Bump webpack from 5.21.2 to 5.76.0
#423
dependabot[bot]
opened
1 year ago
0
Update en.json
#422
josjelodder
closed
1 year ago
0
Update nl.json
#421
josjelodder
closed
1 year ago
0
Bump json5 from 1.0.1 to 1.0.2
#420
dependabot[bot]
closed
1 year ago
0
Bump json5 and tsconfig-paths
#419
dependabot[bot]
closed
1 year ago
0
Bump loader-utils from 2.0.0 to 2.0.4
#418
dependabot[bot]
closed
1 year ago
0
Bump minimatch and mocha
#417
dependabot[bot]
closed
1 year ago
0
Bump loader-utils from 2.0.0 to 2.0.3
#416
dependabot[bot]
closed
1 year ago
1
Bump markdown-it and modernizr
#415
dependabot[bot]
closed
2 years ago
0
Adding new constraint
#414
BenEdV
opened
2 years ago
0
volledige oplossing
#413
josjelodder
opened
2 years ago
1
nieuwe constraint
#412
josjelodder
opened
2 years ago
0
Bump terser from 5.5.1 to 5.14.2
#411
dependabot[bot]
closed
2 years ago
0
Added buggy rule text to logeq
#410
BenEdV
closed
2 years ago
0
Added complete solution to LogEq
#409
BenEdV
closed
2 years ago
1
ontbrekende 'vertaling' bij hint
#408
josjelodder
closed
2 years ago
2
meegeven prefix bij logax
#407
josjelodder
closed
2 years ago
2
herkennen buggyregels in logeq
#406
josjelodder
closed
2 years ago
0
toon oplossing en voltooi mijn oplossingen werken niet in logeq
#405
josjelodder
closed
2 years ago
0
Add message for wrong rule
#404
BenEdV
closed
2 years ago
0
wrongrule niet herkend door voorkant
#403
josjelodder
closed
2 years ago
0
Fix error on closing proof with bottom step
#402
BenEdV
closed
2 years ago
0
Fix check for unchanged formula
#401
BenEdV
closed
2 years ago
0
ongewijzigde formule
#400
josjelodder
closed
2 years ago
0
verwerken CLOSE gaat niet goed
#399
josjelodder
closed
2 years ago
0
meegeven regelnaam bij equivalentiebewijzen logex
#398
josjelodder
closed
2 years ago
2
LogAx has one help video
#397
BenEdV
closed
2 years ago
0
Update LogAx Video
#396
BenEdV
closed
2 years ago
0
Fix no meta var in hypothesis
#395
BenEdV
closed
2 years ago
0
nog een niet herkende constraint
#394
josjelodder
closed
2 years ago
0
logic.propositional
#393
josjelodder
closed
2 years ago
1
<CLOSE>
#392
josjelodder
closed
2 years ago
0
error message wrong relation in logind nog niet vertaald
#391
josjelodder
closed
2 years ago
1
Tool can now determine if cases can be deleted
#390
BenEdV
closed
2 years ago
0
bugje
#389
josjelodder
opened
2 years ago
0
Added constraints
#388
BenEdV
closed
2 years ago
0
missing/new constraints
#387
josjelodder
closed
2 years ago
0
Fix wrong IH
#386
BenEdV
closed
2 years ago
0
diagnose correct in logeq
#385
josjelodder
closed
2 years ago
0
Fix missing connective constraint
#384
BenEdV
closed
2 years ago
0
niet werkende constraint
#383
josjelodder
closed
2 years ago
2
Rework LogEq to send whole state
#382
BenEdV
closed
2 years ago
2
Add latex definition for metavars
#381
BenEdV
closed
2 years ago
0
ontbrekende constraint
#380
josjelodder
closed
2 years ago
3
kruisjes links werken niet altijd
#379
josjelodder
closed
2 years ago
1
Next