Search found 1 match

by ironjules
Tue Oct 23, 2012 9:36 pm
Forum: General
Topic: Automatic extraction of theorems, lemmas, definitions...
Replies: 0
Views: 1260

Automatic extraction of theorems, lemmas, definitions...

Hi,
I'm making some math notes that contains definitions,theorems, lemmas, etc, with they respective proof. So i want to make a cheat sheet that only include the theorems and lemmas, from the original document that contains everything. There is a automatic way to do this? instead of copy-paste in ...