Erik Montes

I've seen this happen (not as bad as the screenshot posted above though). Usually it has been slightly off. I haven't really tried to debug it, but will try soon.

I came across this problem too, and I think that's because this library tries to place SafeArea for you by default :(. It's not documented, but there is a wrapInSafearea...

@jte0711 if you're using Expo they have it here: https://docs.expo.dev/versions/latest/sdk/checkbox/

I think based on this example on their docs (https://github.com/react-native-datetimepicker/datetimepicker#usage click on **_Expand for examples_**, to see examples) you need to **not** render , unless you want to show modal....

https://github.com/abella-prover/abella-prover.org/issues/4 just referencing. On a side note, @chaudhuri can you rename the label "text" to "documentation" here on github? I think it'll be more descriptive.

It will be good to consider this for: https://github.com/abella-prover/abella-prover.org/issues/4

https://github.com/abella-prover/abella-prover.org/issues/4 just referencing.

I have started building a simple version of this, however, it's in Python 3.5, is there a preference in ecosystem? To start I am keeping it simple, for example, `python...

Here's the implementation: https://github.com/amerikan/abella2html Note: currently it generates the "details" html

Example preview of generated html: