Skip to content
Avatar
👨‍💻
Developing iOS Apps
👨‍💻
Developing iOS Apps

Achievements

Achievements

Highlights

  • Pro

Organizations

@steeped
Block or Report

Block or report insightmind

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.

Report abuse

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

Report abuse
insightmind/README.md

Hi there 👋

Pinned Loading

  1. LeanInk Public

    LeanInk is a Lean4 tool for static code visualization through the integration of Alectryon.

    Lean 8

  2. WWDC2021 Swift Student Challenge [Accepted]

    Swift 1

  3. WWDC2020 Swift Student Challenge [Accepted]

    Swift 8

  4. WWDC19 Scholarship Submission [Accepted]

    Swift

  5. WWDC18 Scholarship Submission [Accepted]

    Swift

  6. WWDC17 Scholarship Submission [Accepted]

    Swift

1,667 contributions in the last year

Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Loading

Contribution activity

November 2021

Created 49 commits in 1 repository
Created 1 repository

Created an issue in insightmind/LeanInk that received 4 comments

Load LeanSearchPaths

Description To execute a lean file, we need to load the local search paths to get access to Lean module, most importantly the Init module. Detailed…

4 comments
111 contributions in private repositories Nov 1 – Nov 22
Loading

Seeing something unexpected? Take a look at the GitHub profile guide.