aesop

Here are 5 public repositories matching this topic...

[DEPRECATED] The simplest PDF viewer around

pdf pdf-viewer pdf-document document-viewer aesop

about 🎓 ionify: invoked object notation implemented for you

🎓 +['• . •']; everything to know about ionified: ions indexed for internet-enabled discovery

jewels 💍 json-expressed web languages

javascript semantic module js script vanilla information class pure ion active action lion aeon ionify ionified jewel jem aesop

An MCP server for deterministic probing and search of Lean 4 proof automation (Aesop / Grind).

lean simp proof-automation grind aesop lean4 mcp-server

Add a description, image, and links to the aesop topic page so that developers can more easily learn about it.

To associate your repository with the aesop topic, visit your repo's landing page and select "manage topics."