Reasoning

Introduction

This section contains my investigations into reasoning.

Data Structures

1. E-Graph Basics

Proofs

In the following set of posts, I attempt to build a basic theorem prover in Python.

1. Calculus of Constructions

2. Conversion Rules

3. Typing Rules