Feit-Thompson theorem formally certified using the Coq proof assistant msr-inria.inria.fr·4 pts·mepcotterell·0
Opus - open, royalty-free, IETF standard audio codec which outperforms HE-AACopus-codec.org·7 pts·mepcotterell·0