Większość asystentów potwierdzających to funkcjonalne języki programowania z zależnymi typami. Mogą sprawdzać programy/algorytmy. Interesuje mnie natomiast asystent dowódcy, który najlepiej nadaje się
Witam faceci próbuję porównać 2 algorytmy i pomyślałem, że mogę spróbować napisać dla nich dowód !!! (Moje matematyki bani więc stąd to pytanie) Normalnie w naszej lekcji matematyki w ubiegłym roku ch