1
|
Material Type: Report
|
|
Impredicativity, Cumulativity and Product Covariance in the Logical Framework Dedukti
Felicissimo, Thiago ; Winterhalter, Théo
2024
Sem texto completo
|
2
|
Material Type: Report
|
|
Symbolic Model Construction for Saturated Constrained Horn Clauses
Bromberger, Martin ; Leutgeb, Lorenz ; Weidenbach, Christoph
arXiv 2023
Sem texto completo
|
3
|
Material Type: Report
|
|
Porting Coq Scripts to the Mathematical Components Library Version 2
Affeldt, Reynald ; Bertot, Yves ; Cohen, Cyril ; Roux, Pierre ; Sakaguchi, Kazuhiko ; Tassi, Enrico
2023
Sem texto completo
|
4
|
Material Type: Report
|
|
SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
Bromberger, Martin ; Jain, Chaahat ; Weidenbach, Christoph
arXiv 2023
Sem texto completo
|
5
|
Material Type: Report
|
|
Aeneas: Rust Verification by Functional Translation
Ho, Son ; Protzenko, Jonathan ; Fromherz, Aymeric
2023
Sem texto completo
|
6
|
Material Type: Report
|
|
SCL(FOL) Revisited
Bromberger, Martin ; Schwarz, Simon ; Weidenbach, Christoph
arXiv 2023
Sem texto completo
|
7
|
Material Type: Report
|
|
Integration in Cones
Ehrhard, Thomas ; Geoffroy, Guillaume
2022
Sem texto completo
|
8
|
Material Type: Report
|
|
Some Properties of the Nash Equilibrium in 2 × 2 Zero-Sum Games
Sun, Ke
2022
Sem texto completo
|
9
|
Material Type: Report
|
|
Calculi for Basic Atomic Logics
Aucher, Guillaume
2024
Sem texto completo
|
10
|
Material Type: Report
|
|
Formalisation et implémentation des propositions strictes dans MetaCoq
Leray, Yann
2022
Sem texto completo
|