Fania / pata.physics.wtf
Pataphysics; what the fuck?
☆9Updated 2 years ago
Alternatives and similar repositories for pata.physics.wtf:
Users that are interested in pata.physics.wtf are comparing it to the libraries listed below
- Notes on how to use the internal language of toposes in algebraic geometry☆55Updated last month
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- multilingual dictionary of mathematical terminology☆19Updated 4 months ago
- Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data☆39Updated last week
- collaboration on work in progress☆15Updated 14 years ago
- economic information you should know☆28Updated 9 years ago
- Tim Button's open textbook on set theory☆33Updated last year
- Writing proofs to Twitter since April 2020☆11Updated 2 years ago
- @mathslogicbot☆20Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- P.D. Magnus' forallx logic textbook☆60Updated last year
- Metamath verifier in Python☆38Updated 11 months ago
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆55Updated 5 years ago
- Hello world programs written in different esoteric languages☆11Updated 4 years ago
- A curated list of amazingly awesome Complexity Science resources, courses and shiny things☆34Updated 3 years ago
- Formalisations for simplicial HoTT and synthetic ∞-categories.☆48Updated 5 months ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆29Updated 4 years ago
- SIGPLAN website☆11Updated 2 weeks ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆10Updated 8 years ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆59Updated last year
- The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…☆15Updated 10 months ago
- Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath tha…☆16Updated this week
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated last year
- Philosophy diagrams in Ti𝑘Z☆35Updated 3 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆34Updated 2 years ago
- Notes about research.☆8Updated 3 years ago
- Python bindings for the Coq interactive proof assistant☆53Updated 3 years ago
- Imperial College London lecture notes for Geometry, Algebra, and Number Theory☆36Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Updated last year