Narrative and perspective on the lost memory

In computer science and mathematical logic, a proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human–machine collaboration. This involves some sort of interactive proof editor, or other interface, with which a human can guide the search for proofs, the details of which are stored in, and some steps provided by, a computer.

Jeannette Ehlers is a Danish-Trinidadian artist based in Copenhagen. Her work address's themes and questions around race, colonialism, and the Black memory/history in Denmark. Ehlers is a multifaceted artist who uses a variety of different mediums to convey her narrative and perspective on the lost memory of Black history in Denmark. Ehlers is an experimental artist, her art takes different forms as she uses different mediums such as photography, video, installation, sculpture and performance. Being black in a predominately white area in Denmark opened up an abundance of questions for Ehlers about her black ancestry and history. Ehlers had felt as if a lot of her emotions and history was suppressed from her, and she channeled these feelings and emotions into her art. She is well-known for co-creating the public art project, a monumental public sculpture, I Am Queen Mary with La Vaugh Belle in 2018. It is the first public statue of a Black woman in Denmark and depicts Mary Thomas, leader of the 1878 St. Croix labor riot.

Better Late Than Never is a 1983 British comedy film directed by Bryan Forbes and starring David Niven, Art Carney and Maggie Smith. The soundtrack features songs by Henry Mancini and Noël Coward.