issues
search
FMFI-UK-1-AIN-412
/
formalization-checker-backend
The back end of a tool for checking formalization exercises.
GNU General Public License v3.0
0
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Feedback author should be a user
#43
crnkjck
opened
2 months ago
0
Formalizations and constraints may be NULL in the DB
#42
crnkjck
opened
2 months ago
0
Teachers can't reliably see their feedback (hints) to bad formalizations
#41
crnkjck
opened
3 months ago
0
Caching of theorem proving results
#40
crnkjck
opened
3 months ago
0
change migration scripts
#39
karkub
closed
1 year ago
0
Fix links from bad formalizations to progress
#38
karkub
closed
1 year ago
1
do not count admins in statistics
#37
karkub
closed
1 year ago
1
On-demand counterexamples and hints
#36
crnkjck
opened
1 year ago
1
Parallelize and improve migration 001
#35
crnkjck
opened
1 year ago
0
Parallel equivalence checking
#34
crnkjck
opened
1 year ago
0
Allow editing of hints that haven't yet been shown to any student
#33
crnkjck
opened
1 year ago
0
Do not count admins in statistics
#32
crnkjck
closed
1 year ago
0
feedbacks
#31
karkub
closed
1 year ago
0
Improve structure of formalization validation results
#30
crnkjck
opened
1 year ago
0
Bad counterexample
#29
crnkjck
opened
1 year ago
1
Evaluation result is sometimes missing original constants
#28
crnkjck
opened
1 year ago
0
Allow login with github token
#27
crnkjck
closed
1 year ago
0
refactoring
#26
karkub
closed
1 year ago
1
fixed getting students to exercise in student progress
#25
crnkjck
closed
1 year ago
0
Zabudovaný administrátor nemôže kontrolovať svoje formalizácie
#24
crnkjck
opened
2 years ago
0
Refaktorizácia
#23
crnkjck
opened
2 years ago
0
Viacznačné výroky
#22
crnkjck
opened
2 years ago
0
Konštrukty vo výrokoch
#21
crnkjck
opened
2 years ago
0
Ekvivalenčné triedy študentských riešení
#20
crnkjck
opened
2 years ago
0
Komponent pre workbook
#19
crnkjck
opened
2 years ago
0
Podpora viacerých kolekcií cvičení/tém/predmetov
#18
crnkjck
opened
2 years ago
0
Dashboard
#17
crnkjck
opened
2 years ago
0
Zafixovať poradie výrokov
#16
crnkjck
opened
2 years ago
0
Zabudovať Henkinovu–Hintikkovu hru nad nájdenými kontrapríkladmi
#15
crnkjck
opened
2 years ago
0
Zobrazovat pocet uspesne formalizovanych tvrdeni
#14
crnkjck
opened
2 years ago
2
Perzistentné prihlásenie
#13
crnkjck
opened
2 years ago
0
Pridanie ďalšieho cvičenia
#12
crnkjck
opened
2 years ago
0
Pridanie cvičenia v zozname
#11
crnkjck
opened
2 years ago
0
Nezobrazovat nedovolene polozky v menu
#10
crnkjck
opened
2 years ago
0
Nacitanie poslednych studentovych rieseni
#9
crnkjck
opened
2 years ago
0
Editovanie cvičení
#8
crnkjck
opened
2 years ago
0
Transakcne operacie nad cvičeniami
#7
crnkjck
opened
2 years ago
0
Dockerization
#6
crnkjck
closed
1 year ago
0
added package.json
#5
nikolakulikova
closed
1 year ago
0
Login
#4
nikolakulikova
closed
2 years ago
0
Return structure and refactor callback
#3
nikolakulikova
closed
2 years ago
0
Saving solution
#2
nikolakulikova
closed
2 years ago
0
formalization checker backend
#1
gombarova
closed
2 years ago
0