recent posts

typetitleauthorlast post sort icon
Story Imperative Functional Programs that Explain their Work gasche2017-05-31 09:03
Forum topicRefining Structured Type System Ivan Vodišek2017-05-30 17:40
Forum topicFinding Solutions vs. Verifying Solutions Ivan Vodišek2017-05-29 18:23
Forum topicA refutation of Gödel's first incompleteness theorem Enrique Perez Arnaud2017-05-25 18:11
StoryDatabases from finite categories Charles Stewart2017-05-24 06:43
Forum topicAny thoughts on WanaDecrypt0r? marco2017-05-21 21:12
Forum topicSW verification continues hbrandl2017-05-16 21:54
Forum topicProve: 'Cont r a = (a -> r) -> r' forms a monad marco2017-05-16 02:03
Forum topicthe type of eval in Shen Mark Tarver2017-05-15 16:21
Forum topicPractical Principled FRP: Forget the past, change the future, FRPNow! Sean McDirmid2017-05-12 16:41