Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (Q6091296)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7770421
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms |
scientific article; zbMATH DE number 7770421 |
Statements
Meta-F\textsuperscript{\(\star\)}: proof automation with SMT, tactics, and metaprograms (English)
0 references
24 November 2023
0 references
tactics
0 references
metaprogramming
0 references
program verification
0 references
verification conditions
0 references
SMT solvers
0 references
proof assistants
0 references
0.7760144472122192
0 references
0.770054280757904
0 references
0.764045238494873
0 references
0.746246337890625
0 references
0.7436404824256897
0 references
