Featured image of post Myunfold - Tactic notation myunfold ne_reference_list(ids) := unfold ids.

Myunfold - Tactic notation myunfold ne_reference_list(ids) := unfold ids.

Create beautiful and engaging stories from minimal and elegant templates.

Built with Hugo Cuy
Theme Reang Cuy v.%!(EXTRA string=2.0.1) designed by Ngopi24Jam.cuy