Skip to main content

Questions tagged [logical-frameworks]

Use this tag for proof assistants that are intended to be used to define logics or deductive systems in them.

1 question with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers

What are some "real world" first order logical theories for demos?

I'm working on a tool for first order logical theories. I want to show the tool can work with real world logical theories. What are some good theories for demos? I think I want demos that are: ...
Ms. Molly Stewart-Gallus's user avatar