Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL.
Diego MarmsolerAchim D. BruckerPublished in: Arch. Formal Proofs (2022)
Keyphrases
- theorem prover
- natural deduction
- theorem proving
- inference rules
- first order logic
- higher order logic
- neural network
- knowledge representation
- cut elimination
- decision trees
- natural language
- website
- feature selection
- information systems
- data mining
- nonlinear dimensionality reduction
- data embedding
- sequent calculus
- databases