A decision procedure for the formal system MIU, written in Lean 3.18.4
-
Updated
Aug 18, 2020 - Lean
#
miu
Here are 9 public repositories matching this topic...
Preparation KIT for Maharishi International University FPP pretest exam
-
Updated
Sep 4, 2022 - Java
Different components (dependencies) that Maika uses.
-
Updated
Feb 2, 2019 - JavaScript
Java Problem And Solution
-
Updated
Dec 19, 2022 - Java
Education purpose for CS472 (WAP - Web Application Programming) at MIU
nodejs
javascript
css
application
node
programming
web
html5
wap
execution-context
miu
cs472
maharishi
lexical-environment
-
Updated
Aug 5, 2022 - HTML
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
-
Updated
May 21, 2023 - Java
Java OOPs Concepts
-
Updated
Sep 27, 2023 - Java
MIU Technical Test
-
Updated
Dec 10, 2023 - Java
Improve this page
Add a description, image, and links to the miu topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the miu topic, visit your repo's landing page and select "manage topics."