Matches in SemOpenAlex for { <https://semopenalex.org/work/W3100204936> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W3100204936 endingPage "267" @default.
- W3100204936 startingPage "251" @default.
- W3100204936 abstract "The Lean mathematical library mathlib is developed by a community of users with very different backgrounds and levels of experience. To lower the barrier of entry for contributors and to lessen the burden of reviewing contributions, we have developed a number of tools for the library which check proof developments for subtle mistakes in the code and generate documentation suited for our varied audience." @default.
- W3100204936 created "2020-11-23" @default.
- W3100204936 creator A5015553858 @default.
- W3100204936 creator A5019463319 @default.
- W3100204936 creator A5086583628 @default.
- W3100204936 date "2020-01-01" @default.
- W3100204936 modified "2023-09-24" @default.
- W3100204936 title "Maintaining a Library of Formal Mathematics" @default.
- W3100204936 cites W1464569014 @default.
- W3100204936 cites W1537943690 @default.
- W3100204936 cites W1768814311 @default.
- W3100204936 cites W2059895047 @default.
- W3100204936 cites W2533836568 @default.
- W3100204936 cites W2753707546 @default.
- W3100204936 cites W2770430340 @default.
- W3100204936 cites W2974158812 @default.
- W3100204936 cites W2978244766 @default.
- W3100204936 cites W2981188613 @default.
- W3100204936 cites W2981815722 @default.
- W3100204936 cites W3104549103 @default.
- W3100204936 cites W3128367099 @default.
- W3100204936 cites W4250846042 @default.
- W3100204936 doi "https://doi.org/10.1007/978-3-030-53518-6_16" @default.
- W3100204936 hasPublicationYear "2020" @default.
- W3100204936 type Work @default.
- W3100204936 sameAs 3100204936 @default.
- W3100204936 citedByCount "8" @default.
- W3100204936 countsByYear W31002049362020 @default.
- W3100204936 countsByYear W31002049362021 @default.
- W3100204936 countsByYear W31002049362022 @default.
- W3100204936 countsByYear W31002049362023 @default.
- W3100204936 crossrefType "book-chapter" @default.
- W3100204936 hasAuthorship W3100204936A5015553858 @default.
- W3100204936 hasAuthorship W3100204936A5019463319 @default.
- W3100204936 hasAuthorship W3100204936A5086583628 @default.
- W3100204936 hasBestOaLocation W31002049362 @default.
- W3100204936 hasConcept C177264268 @default.
- W3100204936 hasConcept C199360897 @default.
- W3100204936 hasConcept C2776760102 @default.
- W3100204936 hasConcept C41008148 @default.
- W3100204936 hasConcept C56666940 @default.
- W3100204936 hasConceptScore W3100204936C177264268 @default.
- W3100204936 hasConceptScore W3100204936C199360897 @default.
- W3100204936 hasConceptScore W3100204936C2776760102 @default.
- W3100204936 hasConceptScore W3100204936C41008148 @default.
- W3100204936 hasConceptScore W3100204936C56666940 @default.
- W3100204936 hasLocation W31002049361 @default.
- W3100204936 hasLocation W31002049362 @default.
- W3100204936 hasOpenAccess W3100204936 @default.
- W3100204936 hasPrimaryLocation W31002049361 @default.
- W3100204936 hasRelatedWork W1996878879 @default.
- W3100204936 hasRelatedWork W2160620982 @default.
- W3100204936 hasRelatedWork W2281360585 @default.
- W3100204936 hasRelatedWork W2373724792 @default.
- W3100204936 hasRelatedWork W2590682089 @default.
- W3100204936 hasRelatedWork W2897778959 @default.
- W3100204936 hasRelatedWork W3085399394 @default.
- W3100204936 hasRelatedWork W3148078162 @default.
- W3100204936 hasRelatedWork W3211999146 @default.
- W3100204936 hasRelatedWork W4287250431 @default.
- W3100204936 isParatext "false" @default.
- W3100204936 isRetracted "false" @default.
- W3100204936 magId "3100204936" @default.
- W3100204936 workType "book-chapter" @default.