formalism

Here are 5 public repositories matching this topic...

Guide on how to use the metamath-lamp proof assistant

math proof mathematics proofs formalism metamath

Repository for the Programming Formalisms course

sweden programming course english uppmax formalism nbis programming-formalisms formalisms

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

Research framework for adaptive, purposeful agents under uncertainty

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

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