benbrastmckie/ModelChecker benbrastmckie/ModelChecker

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Python
  • Created 12 months ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
benbrastmckie/ModelChecker
github

benbrastmckie

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A hyperintensional theorem prover for counterfactual conditional, modal, constitutive explanatory, relevance, and extensional operators.

More Repositories

1

.config

NeoVim configuration optimized for writing in LaTeX
Lua
305
star
2

VSCodium

Resources for configuring VSCodium for writing in LaTeX, Markdown, and Python.
TeX
2
star
3

.dotfiles

NixOS config
Nix
1
star