{"action":"opened","issue":{"url":"https://api.github.com/repos/DrSchottky/SemanticaUniPR/issues/2","labels_url":"https://api.github.com/repos/DrSchottky/SemanticaUniPR/issues/2/labels{/name}","comments_url":"https://api.github.com/repos/DrSchottky/SemanticaUniPR/issues/2/comments","events_url":"https://api.github.com/repos/DrSchottky/SemanticaUniPR/issues/2/events","html_url":"https://github.com/DrSchottky/SemanticaUniPR/issues/2","id":53877942,"number":2,"title":"Prooftree della big-step","user":{"login":"Rexam14","id":9914964,"avatar_url":"https://avatars.githubusercontent.com/u/9914964?v=3","gravatar_id":"","url":"https://api.github.com/users/Rexam14","html_url":"https://github.com/Rexam14","followers_url":"https://api.github.com/users/Rexam14/followers","following_url":"https://api.github.com/users/Rexam14/following{/other_user}","gists_url":"https://api.github.com/users/Rexam14/gists{/gist_id}","starred_url":"https://api.github.com/users/Rexam14/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Rexam14/subscriptions","organizations_url":"https://api.github.com/users/Rexam14/orgs","repos_url":"https://api.github.com/users/Rexam14/repos","events_url":"https://api.github.com/users/Rexam14/events{/privacy}","received_events_url":"https://api.github.com/users/Rexam14/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":0,"created_at":"2015-01-09T15:19:27Z","updated_at":"2015-01-09T15:19:27Z","closed_at":null,"body":"Volevo sottolineare un problema nell'uso del prooftree per le dimostrazioni ad albero. Fin quando necessitiamo di una sola barra orizzontale per la regola non c'è nessun problema ma nelle dimostrazioni, se devo scrivere la side condition a destra e il nome della regola sulla sinistra, quest'ultimo non viene scritto a fianco della barra orizzontale ma allo stesso livello delle premesse."}}