FMFI-UK-1-AIN-412 / workbook

First-order logic workbook
https://FMFI-UK-1-AIN-412.github.io/workbook/
0 stars 4 forks source link

Expiracia autentifikacie do formalization checkera #55

Open crnkjck opened 3 months ago

crnkjck commented 3 months ago

Autentifikacny token formalization checkera expiruje po kratsom case ako prihlasenie do workbooku. Je potom potrebne sa odhlasit z checkera na jeho webe a prihlasit znova. Ak by sa aj dlzka platnosti tokenov workbooku a f.c. zjednotila, nie jasne, ci sa token checkera zmaze, ked expiruje token workbooku.