欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Python Modules
Global Module Index - http://docs.python.org/modindex.html
Core Modules
__builtin__
__builtin__ -- Built-in objects
exceptions
Built-in Exceptions
os
os -- Miscellaneous operating system interfaces
os.path
os.path -- Common pathname manipulations
stat
stat -- Interpreting stat() results
string
string -- Common string operations
re
re -- Regular expression operations
math
math -- Mathematical functions
cmath
cmath -- Mathematical functions for complex numbers
operator
operator -- Standard operators as functions.
copy
copy -- Shallow and deep copy operations
sys
sys -- System-specific parameters and functions
atexit
atexit -- Exit handlers
time
time -- Time access and conversions
types
types -- Names for built-in types
gc
gc -- Garbage Collector interface