artemmavrin/categorical-logic-and-type-theory-solutions artemmavrin/categorical-logic-and-type-theory-solutions

  • Stars
    star
    2
  • Language
    TeX
  • Created over 1 year ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
artemmavrin/categorical-logic-and-type-theory-solutions
github

artemmavrin

Reviews

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

Repository Details

Solutions to the exercises in Categorical Logic and Type Theory by Bart Jacobs

More Repositories

1

focal-loss

TensorFlow implementation of focal loss
Python
186
star
2

latex-homework

LaTeX class and template for typesetting math homework
TeX
94
star
3

logitboost

LogitBoost classification algorithm built on top of scikit-learn
Python
13
star
4

git-venv-prompt

git- and venv-aware bash prompt
Shell
5
star
5

binomial-options-pricing

Find arbitrage-free initial price for options in the CRR binomial options pricing model
C
4
star
6

survive

Survival analysis in Python 3
Python
4
star
7

TF-Custom-CXX-Op

Example of a custom TensorFlow op in C++
C++
2
star
8

StatTools

Statistical learning and inference algorithms implemented in Python 3
Python
2
star
9

atiyah-macdonald

Solutions to the exercises in Introduction to Commutative Algebra by M. F. Atiyah and I. G. Macdonald
TeX
1
star
10

algorithms

Simple Python algorithms as C/C++ extensions
C
1
star
11

autoproof

Intuitionistic and classical propositional logic library
Haskell
1
star
12

agda-propositional-logic

Agda
1
star
13

yesod-sqlite-demo

Simple Yesod-based web app with a SQLite persistent storage layer
Haskell
1
star
14

yesod-hello-world

Simple application written in the Yesod web framework.
Haskell
1
star