<!doctype html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>LeanKG 3D Graph Explorer</title>
<script type="module" crossorigin src="./assets/index-CP7tI_oz.js"></script>
<link rel="stylesheet" crossorigin href="./assets/index-BOaHCyBK.css">
</head>
<body>
<div id="root"></div>
</body>
</html>