GitHub repository: saraedum/completion
Primary language: Python
Created: 2016-11-20T13:32:45Z
Description: Generic Completions/Henselizations in Sage