Skip to content
View hotdogontology's full-sized avatar
1 follower · 50 following
  • South Carolina Governor's School for Science and Mathematics
  • Hartsville, SC
  • X @hotdogontology

Highlights

  • Pro
Block or Report

Block or report hotdogontology

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
hotdogontology/README.md
  • 👋 Hi, I’m @hotdogontology
  • 👀 I’m interested in interactive and automated theorem proving and making games with pico8.
  • 🌱 I’m currently learning LEAN and Agda.
  • 💞️ I’m looking to collaborate on teaching proof writing with computers.
  • 📫 You can send me an email at tbelcher (at) governors dot school.

Popular repositories

  1. leanprover-community.github.io leanprover-community.github.io Public

    Forked from leanprover-community/leanprover-community.github.io

    Hosts the website for mathlib and other Lean community infrastructure.

    CSS 1

  2. hotdogontology hotdogontology Public

    Config files for my GitHub profile.

  3. leanteach2020 leanteach2020 Public

    Forked from vaibhavkarve/leanteach2020

    Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

    Lean

  4. lean-natural-number-game-solutions lean-natural-number-game-solutions Public

  5. learningjava learningjava Public

    Forked from patniemeyer/learningjava

    Example Code for Learning Java, O'Reilly & Associates, 4th Edition

    Java

  6. format_lean format_lean Public

    Forked from leanprover-community/format_lean

    A Lean file formatter

    Python