Giters

koengit / binary-relations-paper

How to deal with binary relations in first-order logic, the paper

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

How to deal with binary relations in first-order logic, the paper

Languages

Language:TeX 45.8%Language:Haskell 33.1%Language:Shell 21.2%