I’ve installed TinyClr on the MINI-M4 board. Working perfectly with minor change in firmware oscillator clock frequency.
http://www.mikroe.com/mini/stm32/
Due to the lack of boot0 pin (tied gnd) I used ST-LINK to deploy and it worked great.
ClrInfo.targetFrameworkVersion :4.2.0.0
SolutionReleaseInfo.solutionVersion: 4.2.5.0
SolutionReleaseInfo.solutionVendorInfo: Copyright (C) GHI Electronics, LLC
SoftwareVersion.BuildDate: May 11 2013
SoftwareVersion.CompilerVersion: 410894
LCD.Width: 0
LCD.Height: 0
LCD.BitsPerPixel: 0
Ping... TinyCLR
Sector Start Size Usage
0 0x08000000 0x0000c000 Bootstrap
1 0x0800c000 0x00004000 Configuration
2 0x08010000 0x00010000 Code
3 0x08020000 0x00080000 Code
4 0x080a0000 0x00060000 Deployment