EntityQ6509476· pop 15· linked from 354 articlesLeanSign in to savesoftware for interactive and automated theorem provingConnectionsLanguage Integrated QueryEntityShared SourceEntitytype systemEntitynpmEntityExtensible Application Markup LanguageEntityQ21622213EntityQ21600523Entitydependent typeEntityproof assistantEntitytype classEntityTLA+EntityInternetEntityLinuxEntityoperating systemEntityMicrosoft WindowsEntityMicrosoftEntityInternational Standard Book NumberEntityQ15777Entityprogramming languageEntityQ2005EntityCategoriesDependently typed languagesEducational math softwareFree software programmed in C++Free theorem proversFunctional languagesMicrosoft free softwareMicrosoft programming languagesMicrosoft ResearchProgramming languages created in 2013Proof assistantsSoftware using the Apache license