mauris / written

Things I write.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Introduction

This repository contains some of the papers and references I've written (mostly in LaTeX).

Some of the references include:

  • Prolog Reference
  • Systems Verification
  • Logic Based Learning

About

Things I write.

License:MIT License


Languages

Language:TeX 99.8%Language:Makefile 0.2%