summaryrefslogtreecommitdiff
path: root/mathematics/proof.md
blob: 08979a605f6a887ddd2385c5ef3e07e24788fbe2 (plain) (blame)
1
2
3
4
5
---
layout: foundations
title: mathematics/foundations/proof
---