dogsleg/lia dogsleg/lia

  • Stars
    star
    1
  • Language Agda
  • License
    GNU General Publi...
  • Created over 6 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dogsleg/lia
github

dogsleg

Reviews

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

Repository Details

Some pretty old experiments in intuitionistic logic using Agda

More Repositories

1

dotfiles

My dotfiles
Haskell
2
star
2

spacemacs-pkgs

Script to fetch and process a list of Emacs packages from Spacemacs source code
Python
1
star