benhuds/focusing benhuds/focusing

  • Stars
    star
    1
  • Language Agda
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
benhuds/focusing
github

benhuds

Reviews

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

Repository Details

Agda implementation of focusing in the negative fragment of intuitionistic logic

More Repositories

1

wangs-algorithm

Propositional theorem prover using Wang's algorithm
Prolog
7
star
2

Agda

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

friends-gen

Random 'Friends' episode name generator
Python
2
star
4

spotify-top-songs

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