Skip to content
View jjcrawford's full-sized avatar
2 followers · 3 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report jjcrawford

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. lean-gaussian-elimination lean-gaussian-elimination Public

    Implementation of Gaussian Elimination in Lean with associated proofs

    Lean 1

  2. jjcrawford.github.io jjcrawford.github.io Public

    Miscellaneous notes & toys

    HTML

  3. leanprover_experiments leanprover_experiments Public

    Misc. lean files

    Lean

  4. dioxus_serverfn_example dioxus_serverfn_example Public

    Quick example of how to use server functions in Dioxus

    CSS