#

proofs

Here are 6 public repositories matching this topic...

michpara / CSI2120-Programming-Paradigms

Labs for Programming Paradigms

Updated May 3, 2021
HTML

cuppajoeman / openmath

learning education mathematics recursive proofs

Updated Apr 13, 2025
HTML

metamath / lamp-guide

Guide on how to use the metamath-lamp proof assistant

math proof mathematics proofs formalism metamath

Updated Jan 13, 2025
HTML

craigmateo / courses

Code and files from coursework, tutorials, moocs, etc.

coursera problem-solving proofs assignments

Updated Mar 9, 2025
HTML

Aussith9NT / cat-stories_test-website

This is a test website that deals with stories of cats that behave like humans.

cats javascript stories js tests websites proofs

Updated Jun 5, 2019
HTML

Analysis-MathML

luqmanmalik / Analysis-MathML

Requirements: Safari Webkit 17.1 (⥣) | Analysis in MathML© Foundations in Mathematical Analysis | Watters Research and Technologies® | MIT License | BSD (C4)-License | Analogue: UCB Math 104: Introductory Analysis

integration calculus mathml mathematical-analysis proofs differentiation michael-spivak real-functions elementary-analysis

Updated Jan 1, 2024
HTML

Improve this page

Add a description, image, and links to the proofs topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the proofs topic, visit your repo's landing page and select "manage topics."