Ignore coq files
Add learning file
Checkpoint