Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics mathematical logic
mathematical-logic
x
mathematics
x
4 search results found
Path_semantics
⭐
156
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Systemt
⭐
8
An interpreter for Gödel's System T
I2dm
⭐
8
The lecture notes for my discrete mathematics classes.
Agda Lvo
⭐
5
large veblen ordinal in agda
Related Searches
Javascript Mathematics (1,108)
Statistics Mathematics (620)
Tex Mathematics (471)
Mathematics Algebra (360)
Mathematics Calculus (165)
Types Mathematics (117)
Programming Mathematics (100)
Haskell Mathematics (89)
Shell Mathematics (72)
Mathematics Puzzle (54)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.