formalism

Here are 4 public repositories matching this topic...

Guide on how to use the metamath-lamp proof assistant

math proof mathematics proofs formalism metamath

its implementation for the graph transformation from OMACS framework TO PNS framework

Seminar paper about the foundations of mathematics and the foundational crisis of mathematics ("Grundlagenkrise")

math tum logic philosophy mathematics maths seminar seminar-paper formalism intuitionism logicism

Repository for the Programming Formalisms course

sweden programming course english uppmax formalism nbis programming-formalisms formalisms

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

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