Similar repositories to surajx/proof-assistant:

• surajx/proof-assistant github similar
• danistefanovic/build-your-own-x github similar
• GamestonkTerminal/GamestonkTerminal github similar
• Soldat/soldat github similar
• deebah/reddit-post github similar
• advancedresearch/pocket_prover github similar
• ethack/docker-vpn github similar
• sheerun/vimrc github similar
• atomic14/self-organising-leds github similar
• ezyang/logitext github similar
• loliverhennigh/Phy-Net github similar
• aslanides/aixijs github similar
• CodeRibbon/CodeRibbon github similar
• DSpeichert/netbootd github similar
• martinescardo/HoTTEST-Summer-School github similar
• imalikshake/StyleNet github similar
• MishaLaskin/vqvae github similar
• mozilla/npm-lockdown github similar
• stepchowfun/theorem-prover github similar
• vitotai/BrewPiLess github similar
• jsleep/wav2mid github similar
• ahmedkhalf/Circle-Evolution github similar
• rooklift/nibbler github similar
• tchaik/tchaik github similar
• OneOfOne/xxhash github similar
• devitocodes/devito github similar
• mittagessen/kraken github similar
• songlab-cal/tape github similar
• rantonels/starless github similar
• man-group/notebooker github similar
• sourcery-ai/sourcery github similar
• auth0/lock github similar
• hauntsaninja/pyp github similar
• freelan-developers/freelan github similar
• google/prettytensor github similar
• ciconia/awesome-music github similar
• deepmind/bsuite github similar
• moderngl/moderngl github similar
• kroitor/asciichart github similar
• ai-forever/ru-dalle github similar