All Questions
Tagged with first-order-logic metaprogramming
1
question
0
votes
1
answer
66
views
Can alg be used for the formal semantics of a language?
This library “generates all models of a first order theory”: https://github.com/andrejbauer/alg
Is it able to take the formal semantics of a programming language, like:
x86: https://dl.acm.org/doi/10....