benhuds/wangs-algorithm benhuds/wangs-algorithm

  • Stars
    star
    7
  • Rank 2,280,948 (Top 46 %)
  • Language
    Prolog
  • Created almost 10 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
benhuds/wangs-algorithm
github

benhuds

Reviews

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

Repository Details

Propositional theorem prover using Wang's algorithm

More Repositories

1

Agda

Complexity analysis, type safety, soundness, etc.
Agda
2
star
2

friends-gen

Random 'Friends' episode name generator
Python
2
star
3

focusing

Agda implementation of focusing in the negative fragment of intuitionistic logic
Agda
1
star
4

spotify-top-songs

Create a Spotify playlist with your top 100 songs
Python
1
star