iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/itp/AffeldtBKSS24.xml
Reynald Affeldt Alessandro Bruni Ekaterina Komendantskaya Natalia Slusarz Kathrin Stark Taming Differentiable Logics with Coq Formalisation. 4:1-4:19 2024 ITP https://doi.org/10.4230/LIPIcs.ITP.2024.4 conf/itp/2024 db/conf/itp/itp2024.html#AffeldtBKSS24