Skip to content
View ziloka's full-sized avatar
46 followers · 20 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

Block or Report

Block or report ziloka

Report abuse

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

Report abuse

Lists (10)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated
Beta Lists are currently in beta. Share feedback and report bugs.
Type: All
Language: Lean
Sort by: Most stars

Starred repositories

1 star written in Lean
Clear filter

Kha / electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Lean 328 6 Updated Mar 6, 2017

Starred topics

See all starred topics