This is the API documentation for goedel-0.2.1 Documentation.