Reasoning

Introduction

This section contains my investigations into reasoning.

Data Structures

1. E-Graph Basics

Proof Assistant

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

1. Calculus of Constructions

2. Conversion Rules

3. Typing Rules

4. Induction I

5. Sort Hierarchy

6. Tactics Engine

7. Match Construct