Cur has a small standard library, primary for demonstration purposes.
3.1 Tactics
3.1.1 Proof State and Defining Tactics
3.1.2 Standard Tactics
3.1.3 Interactive Tactic
3.1.4 SarTactic (Sarcastic Tactics)
3.2 Sugar