coq-community/autosubst
Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
CoqMIT
Stargazers
- amintimanyAarhus University
- AndrasKovacs
- andy-morris
- anton-trunovhttps://tonstudio.io
- beike-zh
- BlaisorbladeBedrock Systems Inc.
- brendanzab@yeslogic
- catalin-hritcuMax Planck Institute for Security and Privacy (MPI-SP)
- co-danGroningen
- codyroux
- colejhudson
- CYBAITokyo
- dannypsnl@second-state
- dkrustev
- edgar-gip
- gaxiiiiiiiiiiii
- graydonVancouver, BC
- ichistmeinname@Cap3
- jmitchellSeattle
- joom@Bloomberg
- juanbono@lambdaclass
- juniorxxueThe University of Hong Kong
- liufengyunOracle Labs
- marklemayBoston
- mietek
- NeM-T
- noahdiewaldOhio State University
- pythonesqueLanetix
- qcfu-buBoston, MA
- relrodRed Hat, Inc.
- rudynicolop
- scott-fleischman
- takanuva
- tebbi
- unsoundsystemJapan
- yzyzsun@HKUPLG