Languages

  Analyzed 5 months ago
Language Aggregate
Coding Time		 Total
Commits		 Total Lines
Changed		 Most Commits:   Most Recent Commit:
Project Commits Project Commit Month
Coq
about 1 year 36 1,880 img avatar   Coq proof ass...   32 img avatar   Coq proof ass...   Dec 2019
O Caml
11 months 28 460 img avatar   Coq proof ass...   26 img avatar   Coq proof ass...   Nov 2019
Python
3 months 3 25 img avatar   Coq proof ass...   2 img avatar   Coq proof ass...   Nov 2019
Te X/La Te X
about 1 month 2 10 img avatar   Coq proof ass...   2 img avatar   Coq proof ass...   Sep 2016
Emacs Lisp
about 1 month 1 4

C

  company-coq   		1

C

  company-coq   		Apr 2021
C
about 1 month 1 37 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   Jul 2019
Shell Script
about 1 month 1 52 img avatar   Coq proof ass...   1 img avatar   Coq proof ass...   Jul 2019