ammkrn/nanoda_lib
Library implementing type inference/checking functionality based on the Lean theorem prover
RustApache-2.0
Stargazers
- alexjbestKing's College London
- alreadydoneHeidelberg / Shenzhen
- AnderssorbySopra Steria
- arademakerIBM Research and EMAp/FGV
- artisdomAuckland
- ashandoak
- bakerjd99Meridian Idaho
- beike-zh
- brendanzab@yeslogic
- bryangingechen
- chabulhwiSemmalgil
- danielepuscedduZurich, Switzerland
- dranovSingapore
- enricozb
- girvingLondon
- gunpinyo
- huynhtrankhanh@coq-community
- invisageable@compilords
- isgasho
- jmanuel1Imagine Learning
- joewatt95
- JulianNew York, NY
- linsykingUniversity of Michigan
- madvorakInstitute of Science and Technology, Austria
- MordragTAachen, Germany
- msiglreith
- ngrislainSarus Technologies
- samvang
- saulshanabrookGreenfield, MA
- utensil
- Vtec234Pittsburgh, USA
- xiyuzhaiUW
- xu3kev
- ykonstant1