🌐 US-Proxy
class="logged-out env-production page-responsive" style="word-wrap: break-word;" >
Skip to content

Instantly share code, notes, and snippets.

@ashleywolf

ashleywolf/guestbook.md

Created November 10, 2024 06:37
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save ashleywolf/fa00975dff0bc8fdd73d288e8eee9e1a to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save ashleywolf/fa00975dff0bc8fdd73d288e8eee9e1a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
guestbook.md

Drop a comment to sign 🖋️

@ashandoak

ashandoak commented Feb 4, 2025

Copy link
Copy Markdown

Hey @ashleywolf - I'm Ashley from @leanprover (lean-lang.org and lean-fro.org). Followed the links here from CHAOSS through TODO and thought I would say hi! 👋

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment