Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
0
votes
1
answer
67
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 …
1
vote
2
answers
338
views
What is the meta-language of ZFC?
This is a good post which says that all proof assistants are founded in HOL, first order logic, or dependent types.
Does this mean that the axioms of ZFC are just expressions obtainable from the gramm …