Skip to content

Instantly share code, notes, and snippets.

View Bob-Wright-the-reactor's full-sized avatar

Bob-Wright-the-reactor

  • Joined Feb 1, 2026
View GitHub Profile
@Bob-Wright-the-reactor
Bob-Wright-the-reactor / index.html
Created February 3, 2026 07:59
Mochizuki Equations Bouncing
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>IUT Frequency Resonator</title>
<script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js" async></script>
<style>
:root {
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>IUT Frequency Resonator</title>
<style>
:root {
--lapis: #26619C;
--gold-leaf: #D4AF37;
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Verifying Inter-universal Teichmüller Theory | AI-Assisted Lean Formalization Proposal</title>
<link href="https://fonts.googleapis.com/css2?family=Crimson+Pro:wght@300;400;600;700&family=JetBrains+Mono:wght@400;600&family=Playfair+Display:wght@700;900&display=swap" rel="stylesheet">
<style>
:root {
--primary: #1a1a2e;
<!doctype html>
<html lang="en">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width,initial-scale=1" />