There are 0 repository under miu topic.
A decision procedure for the formal system MIU, written in Lean 3.18.4
Java Problem And Solution
Preparation KIT for Maharishi International University FPP pretest exam
Education purpose for CS472 (WAP - Web Application Programming) at MIU
Solution of Questions for compro.miu.edu
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid