Login
From:
Richard Zach
(Uncensored)
subscribe
MUltseq 2.0 – Richard Zach
https://richardzach.org/2024/07/multseq-2-0/
links
backlinks
MUltseq is a sequent theorem prover for arbitrary finite-valued logics. It was developed over 20 years ago by Àngel Gil and Gernot Salzer. Version 2.0 was presented today at TACL 2024 in Barcelona.…
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
