Skip to content
Avatar
36 followers · 5 following

Sponsoring

@bzg

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Achievements

Arctic Code Vault Contributor
GitHub Sponsor

Highlights

  • Pro

Organizations

@compsoc-edinburgh @leanprover @crossbeam-rs @cr0wnctf
Block or Report

Block or report Vtec234

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

Pinned

  1. leanprover/lean4 Public

    Lean 4 programming language and theorem prover

    Lean 1.3k 120

  2. SFTtech/openage Public

    Free (as in freedom) open source clone of the Age of Empires II engine 🚀

    Python 10.8k 1.1k

  3. leanprover-community/lean Public

    Lean Theorem Prover

    C++ 293 66

  4. xnfsat Public

    C 2

396 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Learn how we count contributions
Less More

Contribution activity

January 2022

Created 6 commits in 1 repository

Created a pull request in leanprover/vscode-lean4 that received 14 comments

fix: new lines appearing in hover tooltips [continued]

Continues the work from #86. It should hopefully be ready to merge as most of the review was already done there. CC @lovettchris

+697 −541 • 14 comments
Reviewed 4 pull requests in 2 repositories

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