Jag börjar...
Simplifieraren och Checkern automatiserar avlossningen av bevisförplikterser...
Det här låter inte riktigt klokt tycker jag...
Trådstart#1
Har försökt översätta denna mening till svenska men får det inte att låta vettigt. Sammanhang: beskrivning av två verktyg till ett programmeringsspråk.
The Simplifier and Checker automate the discharging of proof obligations.
Mycket tacksam för hjälp. Ska presentera imorgon 
