I had to made some Isabelle statistics which maybe are interesting (just ignore the German fragements):
Lines of code in *.ML and *.thy files (tip): http://www4.in.tum.de/~haftmann/misc/isabelle_stat/stat_loc.png Number of submissions in the AFP: http://www4.in.tum.de/~haftmann/misc/isabelle_stat/stat_afp.png hg churn: http://www4.in.tum.de/~haftmann/misc/isabelle_stat/stat_user.png Florian -- Home: http://www.in.tum.de/~haftmann PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ Isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
